Similar repositories to kquick/devnix:

• kquick/devnix github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• GaloisInc/bv-sized github similar
• GaloisInc/abide github similar
• themattchan/haskell-flags-set github similar
• glguy/type-open-syntax-demo github similar
• Ptival/language-coq github similar
• kquick/vernix github similar
• kquick/briareus github similar
• tazjin/nixfd github similar
• bhickey/TreeStructures github similar
• themattchan/advent-of-code github similar
• Grinshpon/lambox github similar
• patrickt/co-log-fused-effects github similar
• trevorcook/hkd-delta github similar
• GaloisInc/argo github similar
• ibrahimsag/rw github similar
• GaloisInc/surveyor github similar
• kowainik/first-class-patterns github similar
• PMunch/combparser github similar
• noamz/linlam github similar
• haskellari/some github similar
• bodil/purescript-sized-vectors github similar
• obsidiansystems/rhyolite github similar
• riscy/doctest github similar
• Infinisil/nixbot github similar
• rudymatela/express github similar
• Tritlo/ExampleHolePlugin github similar
• sellout/Iaia github similar
• LightAndLight/cbpv github similar
• Bluehouse-Technology/grpc_client github similar
• typeable/nixpkgs-stackage github similar
• travitch/build-bom github similar
• nlewo/hydra-cli github similar
• egison/egison-scheme github similar
• hhugo/merge-fmt github similar
• kcsongor/typelevel-prelude github similar
• ilya-klyuchnikov/henk github similar
• rootmos/silly-joy github similar