Similar repositories to dhallix/nix-derivation:
dhallix/nix-derivation
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
colemickens/nixpkgs-wayland
github
similar
arow-oss/goat-guardian
github
similar
hercules-ci/canonix
github
similar
athanclark/purescript-zeta
github
similar
MonoidMusician/purescript-datagen
github
similar
k6io/k6
github
similar
meilisearch/MeiliSearch
github
similar
grahamc/packet-spot-buildkite-agent
github
similar
groupoid/anders
github
similar
joneshf/purescript-run-console-experiment
github
similar
sigma-andex/purescript-heterogeneous-extrablatt
github
similar
trommler/VeriGHC
github
similar
Lapin0t/induction-recursion
github
similar
cgohla/pureshell
github
similar
xtruder/kubenix-modules
github
similar
jwiegley/hello-rust
github
similar
mpickering/haskell-nix-plugin
github
similar
matthewleon/purescript-record-show
github
similar
joneshf/running-with-purescript
github
similar
srdqty/haskell-project-template
github
similar
doolse/purescript-react-mui
github
similar
evertedsphere/rien
github
similar
puffnfresh/type-search
github
similar
LiamGoodacre/purescript-generics-rep-optics
github
similar
ericfinster/catt
github
similar
ayberkt/Mini-TT
github
similar
ekmett/auth
github
similar
FormationAI/dhall-bhat
github
similar
RobertHarper/hott-notes
github
similar
gabejohnson/purescript-clean
github
similar
nikivazou/EquationalReasoningInLiquidHaskell
github
similar
paf31/purescript-hooks
github
similar
jhbertra/purescript-reactive-effect
github
similar
fsestini/tt-in-cubical
github
similar
meta-logic/coq-ll
github
similar