generic-lens | hackage | Package Usage

nakaakist/haskell-ddd-order-taking

practice of DDD in Haskell based on "Domain Modeling Made Functional" book

>=2.1.0.0 haskell-ddd-order-taking.cabal
>=2.1.0.0 haskell-ddd-order-taking.cabal

Size: 112 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago

etorreborre/registry

Components as records of functions for Haskell

>=1.0 && <3.0 registry.cabal

Size: 693 KB - Last synced: 9 days ago - Pushed: 3 months ago

GaloisInc/daedalus

The Daedalus data description language

* talos/talos.cabal

Size: 39.6 MB - Last synced: 3 days ago - Pushed: 30 days ago

rubenmoor/learn-palantype

gamification for the palantype steno system

* backend/backend.cabal
* frontend/frontend.cabal

Size: 18.4 MB - Last synced: about 2 months ago - Pushed: 8 months ago

sealchain-project/sealchain

Financial blockchain based on cardano-sl

* wallet/sealchain-wallet.cabal

Size: 7.64 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

GaloisInc/crucible

Crucible is a library for symbolic simulation of imperative programs

* crucible-concurrency/crucible-concurrency.cabal
* crux/crux.cabal

Size: 41.4 MB - Last synced: 1 day ago - Pushed: 1 day ago

novisci/asclepias

* docs/modules/dev-guide/examples/hasklepias-main.cabal
* hasklepias-main/hasklepias-main.cabal

Size: 4.81 MB - Last synced: 19 days ago - Pushed: 11 months ago

isovector/cornelis

agda-mode for neovim

* cornelis.cabal
* cornelis.cabal

Size: 12.1 MB - Last synced: 10 days ago - Pushed: 24 days ago

Orbis-Tertius/tinyram-toolchain

Untyped Plutus Core to C compiler (WIP).

* compiler/uplc2c.cabal

Size: 796 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

tomferon/chunked

Study app for STEM

* api/api.cabal
* haskell/monitoring/monitoring.cabal

Size: 1.72 MB - Last synced: 5 months ago - Pushed: about 1 year ago

seereason/image-cache

Manage an image cache using acid-state, process-listlike, libjpeg-progs, netpbm, etc

* image-cache.cabal

Size: 757 KB - Last synced: about 1 month ago - Pushed: about 1 month ago

higherkindness/mu-haskell

Mu (μ) is a purely functional framework for building micro services.

* core/lens/mu-lens.cabal

Size: 10.5 MB - Last synced: 27 days ago - Pushed: over 1 year ago

igrep/readme-test

(WIP) The literate programming tool I've ever wanted most.

* readme-test.cabal

Size: 22.5 KB - Last synced: about 1 year ago - Pushed: over 3 years ago

haskell-servant/servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

* doc/cookbook/open-id-connect/OpenIdConnect.cabal

Size: 6.98 MB - Last synced: about 22 hours ago - Pushed: 6 days ago

myShoggoth/deckbuilder

Deck building game simulator

* deckbuilder.cabal
* deckbuilder.cabal

Size: 342 KB - Last synced: about 1 year ago - Pushed: about 1 year ago

arbor/antiope

A tiny wrapper around Amazonka

* antiope-dynamodb/antiope-dynamodb.cabal
* antiope-dynamodb/antiope-dynamodb.cabal
* antiope-s3/antiope-s3.cabal
* antiope-s3/antiope-s3.cabal
* antiope-sns/antiope-sns.cabal
* antiope-sns/antiope-sns.cabal

Size: 377 KB - Last synced: 9 days ago - Pushed: over 2 years ago

unisonweb/unison

A friendly programming language from the future

* codebase2/codebase-sqlite/unison-codebase-sqlite.cabal
* parser-typechecker/unison-parser-typechecker.cabal
* parser-typechecker/unison-parser-typechecker.cabal

Size: 123 MB - Last synced: 28 days ago - Pushed: 29 days ago

i-am-tom/higgledy

Higher-kinded data via generics

>=2.1 && <3.0 higgledy.cabal

Size: 111 KB - Last synced: 26 days ago - Pushed: about 1 year ago

ServiceNow/picard

PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.

* gen-hs/picard-gen-hs.cabal
* picard/picard.cabal

Size: 760 KB - Last synced: about 1 month ago - Pushed: 7 months ago

malgo-lang/malgo

A statically typed functional programming language.

* malgo.cabal
* malgo.cabal

Size: 21.5 MB - Last synced: about 7 hours ago - Pushed: about 21 hours ago

Lysxia/generic-data

Generic data types in Haskell, utilities for GHC.Generics

>=1.1.0.0 generic-data.cabal

Size: 265 KB - Last synced: 13 days ago - Pushed: about 1 month ago

tommyengstrom/domaindriven

>=2.2.1.0 && <2.3 domaindriven-core/domaindriven-core.cabal

Size: 683 KB - Last synced: 3 days ago - Pushed: 3 days ago

pwm/aoc2021

AoC 2021

* aoc2021.cabal
* aoc2021.cabal

Size: 145 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

peterbecich/cabal-resolver-issue

* ayqaodtiqr-lyoodcipiw-hvmfzfurzz/ayqaodtiqr-lyoodcipiw-hvmfzfurzz.cabal
* ayqaodtiqr-lyoodcipiw-hvmfzfurzz/ayqaodtiqr-lyoodcipiw-hvmfzfurzz.cabal
* aziqfcqzmy-iqnacgdwjr-mcroybnavg/aziqfcqzmy-iqnacgdwjr-mcroybnavg.cabal
* aziqfcqzmy-iqnacgdwjr-mcroybnavg/aziqfcqzmy-iqnacgdwjr-mcroybnavg.cabal
* bartgulhih-fvuwxcitsk-foqrmqxrka/bartgulhih-fvuwxcitsk-foqrmqxrka.cabal
* bartgulhih-fvuwxcitsk-foqrmqxrka/bartgulhih-fvuwxcitsk-foqrmqxrka.cabal
* efifqufbzb-rmxukseuia-qtknhufiaz/efifqufbzb-rmxukseuia-qtknhufiaz.cabal
* ehjuaeqivl-nzhhevcriz-kbvxylsitr/ehjuaeqivl-nzhhevcriz-kbvxylsitr.cabal
* ehjuaeqivl-nzhhevcriz-kbvxylsitr/ehjuaeqivl-nzhhevcriz-kbvxylsitr.cabal
* fjiwadmxge-aqjkxoqtiw-xcrotcqoci/fjiwadmxge-aqjkxoqtiw-xcrotcqoci.cabal
* fjiwadmxge-aqjkxoqtiw-xcrotcqoci/fjiwadmxge-aqjkxoqtiw-xcrotcqoci.cabal
* jcegwdirei-vaumuhoxie-bcwqnqadzl/jcegwdirei-vaumuhoxie-bcwqnqadzl.cabal
* jcegwdirei-vaumuhoxie-bcwqnqadzl/jcegwdirei-vaumuhoxie-bcwqnqadzl.cabal
* jcegwdirei-vaumuhoxie-bcwqnqadzl/jcegwdirei-vaumuhoxie-bcwqnqadzl.cabal
* kvpcxfxkwh-ofoyasrlbb-moxeozkxbe/kvpcxfxkwh-ofoyasrlbb-moxeozkxbe.cabal
* kvpcxfxkwh-ofoyasrlbb-moxeozkxbe/kvpcxfxkwh-ofoyasrlbb-moxeozkxbe.cabal
* lnbsavfifx-jvkkyhijuo-mwztyrysqo/lnbsavfifx-jvkkyhijuo-mwztyrysqo.cabal
* lnbsavfifx-jvkkyhijuo-mwztyrysqo/lnbsavfifx-jvkkyhijuo-mwztyrysqo.cabal
* lvlhatycjj-iaeotfjvsm-kmlgcqvwbw/lvlhatycjj-iaeotfjvsm-kmlgcqvwbw.cabal
* mgocxjmugg-szydfszzpd-rcfzbgiwzv/mgocxjmugg-szydfszzpd-rcfzbgiwzv.cabal
* mgocxjmugg-szydfszzpd-rcfzbgiwzv/mgocxjmugg-szydfszzpd-rcfzbgiwzv.cabal
* mnjpisgook-hwiqblnzwl-ehpynslgbd/mnjpisgook-hwiqblnzwl-ehpynslgbd.cabal
* mnjpisgook-hwiqblnzwl-ehpynslgbd/mnjpisgook-hwiqblnzwl-ehpynslgbd.cabal
* nebfuwggyx-gaktiktcnq-rarmqbnkzf/nebfuwggyx-gaktiktcnq-rarmqbnkzf.cabal
* nebfuwggyx-gaktiktcnq-rarmqbnkzf/nebfuwggyx-gaktiktcnq-rarmqbnkzf.cabal
* pxtkkfktom-ixtvvmcwub-fbsbtnbddu/pxtkkfktom-ixtvvmcwub-fbsbtnbddu.cabal
* rnxlejaloz-yuvvexhhzr-ivfpeumqge/rnxlejaloz-yuvvexhhzr-ivfpeumqge.cabal
* rnxlejaloz-yuvvexhhzr-ivfpeumqge/rnxlejaloz-yuvvexhhzr-ivfpeumqge.cabal
* trkplfabrj-vqbcqmmylp-dalptunfba/trkplfabrj-vqbcqmmylp-dalptunfba.cabal
* trkplfabrj-vqbcqmmylp-dalptunfba/trkplfabrj-vqbcqmmylp-dalptunfba.cabal
* tvlvjqkonn-jeasuqcexy-rbrpjulwgi/tvlvjqkonn-jeasuqcexy-rbrpjulwgi.cabal
* tvlvjqkonn-jeasuqcexy-rbrpjulwgi/tvlvjqkonn-jeasuqcexy-rbrpjulwgi.cabal
* tzdnwycbfe-eedgfzqujz-vdbfcumwyt/tzdnwycbfe-eedgfzqujz-vdbfcumwyt.cabal
* tzdnwycbfe-eedgfzqujz-vdbfcumwyt/tzdnwycbfe-eedgfzqujz-vdbfcumwyt.cabal
* udylspikdq-fbrcpxkytb-vsxkoyvxli/udylspikdq-fbrcpxkytb-vsxkoyvxli.cabal
* wjcvquzmqj-ngmhegkhun-ozevzugvrv/wjcvquzmqj-ngmhegkhun-ozevzugvrv.cabal
* wjcvquzmqj-ngmhegkhun-ozevzugvrv/wjcvquzmqj-ngmhegkhun-ozevzugvrv.cabal
* yjtwzdarma-uscqahbujb-isdgvasdau/yjtwzdarma-uscqahbujb-isdgvasdau.cabal

Size: 670 KB - Last synced: 17 days ago - Pushed: over 1 year ago

tek/myo

neovim layout & command manager

* packages/myo/myo.cabal

Size: 1.04 MB - Last synced: about 9 hours ago - Pushed: about 13 hours ago

hexresearch/hschain

>=2 hschain/hschain.cabal
* hschain-control/hschain-control.cabal

Size: 8.15 MB - Last synced: 18 days ago - Pushed: over 1 year ago

CardanoSolutions/ogmios

❇️ A WebSocket JSON/RPC bridge for Cardano

* server/ogmios.cabal

Size: 54.2 MB - Last synced: 3 days ago - Pushed: 4 days ago

jarkad/blog

My new self-hosted blog

* backend-indieauth/backend-indieauth.cabal

Size: 621 KB - Last synced: over 1 year ago

GaloisInc/surveyor

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

>=0.5.1.0 && <1.3 surveyor-brick/surveyor-brick.cabal
>=0.5.1.0 && <1.3 surveyor-core/surveyor-core.cabal

Size: 802 KB - Last synced: 3 days ago - Pushed: over 3 years ago

pepeiborra/schemas

A library for schema-guided serialization of Haskell datatypes

* schemas.cabal

Size: 236 KB - Last synced: 21 days ago - Pushed: over 3 years ago

CoucouInc/lambdaCoucou

Industrial strength irc bot for more coucou

* lambdacoucou.cabal

Size: 316 KB - Last synced: 27 days ago - Pushed: about 2 years ago

aspiwack/peppermint-prover

Experimental proof assistant (and architecture) for dependent linear logic

* generic-debruijn/generic-debruijn.cabal

Size: 148 KB - Last synced: 6 days ago - Pushed: about 2 years ago

platonic/shpadoinkle

A Functional UI programming paradigm

* examples/Shpadoinkle-examples.cabal
* website/Shpadoinkle-website.cabal
* website/Shpadoinkle-website.cabal

Last synced: over 1 year ago

m-ofuji/new-webtopo

* back-end/doc/cookbook/open-id-connect/OpenIdConnect.cabal

Size: 465 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago

mitchellwrosen/planet-mitchell

Planet Mitchell

==1.1.0.* planet-mitchell/planet-mitchell.cabal

Size: 408 KB - Last synced: 24 days ago - Pushed: almost 5 years ago

blamario/grampa

Grammatical parsers - combinator library for parsing general context-free grammars

>=1.2 && <2.3 deep-transformations/deep-transformations.cabal

Size: 1.69 MB - Last synced: 16 days ago - Pushed: 6 months ago

LupusAnay/sirius-test

* sirius-test.cabal

Last synced: over 1 year ago

LupusAnay/servant-auth-api

Simple self-educational project built using Haskell Servnat and Elm

* servant-auth-api.cabal

Last synced: over 1 year ago

dwincort/row-types

A Haskell library for open records and variants using closed type families and type literals

>=1.0.0.0 row-types.cabal
>=1.1.0.0 row-types.cabal

Size: 427 KB - Last synced: 20 days ago - Pushed: almost 2 years ago

querl.dox/linux/alpine_linux/aports

2.2.1.0 testing/darcs/cabal.config
2.2.1.0 testing/stack/cabal.config

Last synced: 11 months ago

Package Usage: hackage: generic-lens

Dependent Repos 137