Similar repositories to qfpl/initial-final:
qfpl/initial-final
github
similar
gibiansky/IHaskell
github
similar
byorgey/AoC
github
similar
jacobstanley/transformers-bifunctors
github
similar
puffnfresh/nix-command-store-plugin
github
similar
acowley/concurrent-machines
github
similar
athanclark/dag
github
similar
deepfire/nh
github
similar
adnelson/nix-binary-cache
github
similar
jfischoff/asynchronous-email-example
github
similar
capital-match/hdo
github
similar
Profpatsch/libnix-haskell
github
similar
fumieval/drinkery
github
similar
tjknoth/resyn
github
similar
KaiHa/nix-debian
github
similar
sellout/dualizer
github
similar
gereeter/bounded-intmap
github
similar
thoughtpolice/clash-playground
github
similar
thoughtpolice/asc
github
similar
tonyday567/perf
github
similar
RobertHarper/hott-notes
github
similar
ocharles/nix-build-cache
github
similar
LightAndLight/parametricity-proofs
github
similar
NixOS/hydra-provisioner
github
similar
typeable/nixpkgs-stackage
github
similar
ianmbloom/gudni
github
similar
qfpl/papa
github
similar
shlevy/nix-adt
github
similar
Gabriel439/Haskell-Server-Generic-Library
github
similar
Icelandjack/deriving-via
github
similar
adetokunbo/haskell-overridez
github
similar
ekmett/abelian
github
similar
ChrisPenner/conway
github
similar
ekmett/perhaps
github
similar
ElvishJerricco/servant-router
github
similar
paf31/purescript-smash
github
similar
reflex-frp/reflex-ghci
github
similar
WJWH/HPi
github
similar
tdammers/sprinkles
github
similar
brendanhay/terrafomo
github
similar