Similar repositories to LnL7/nixpkgs-overlay:
domchristie/turndown
github
similar
lilactown/lambda-tools
github
similar
danistefanovic/build-your-own-x
github
similar
ubuntu/microk8s
github
similar
shaunlebron/parinfer
github
similar
LnL7/nixpkgs-overlay
github
similar
chrrasmussen/mix_idris2
github
similar
groupoid/anders
github
similar
tazjin/nixfd
github
similar
mpickering/haskell-nix-plugin
github
similar
tjpeden/rustboy
github
similar
monicahq/chandler
github
similar
NixtOS/nixtos
github
similar
davecaos/kylie
github
similar
elli-lib/elli_websocket
github
similar
fsestini/tt-in-cubical
github
similar
keattang/eks-auth-proxy
github
similar
nlewo/gremnix
github
similar
dball/valves
github
similar
michalrus/intero-nix-shim
github
similar
exercism/coq
github
similar
lpil/learning
github
similar
arianvp/nix-acbuild
github
similar
danilkolikov/categories
github
similar
japesinator/Idris-Bifunctors
github
similar
Infinisil/nixbot
github
similar
Chouffe/haskell-bazaar
github
similar
coot/free-category
github
similar
siscia/intro-to-distributed-system
github
similar
kowainik/idris-patricia
github
similar
edwinb/IdrisApp
github
similar
KnairdA/nixos_home
github
similar
Fresheyeball/elm-guards
github
similar
sellout/Iaia
github
similar
typesanitizer/edit
github
similar
jackfirth/point-free
github
similar
vindaloo-thesis/examples
github
similar
vaibhavsagar/experiments
github
similar
cnbbooks/lfe-tutorial
github
similar
ctford/flying-spaghetti-monster
github
similar