Similar repositories to commandodev/purescript-nix:
commandodev/purescript-nix
github
similar
liamoc/spacemacs-agda
github
similar
KesterTong/idris-finite-math
github
similar
kawu/dawg
github
similar
david-christiansen/idris-utils
github
similar
peti/ghc-library-id-bug
github
similar
iand675/pipes-wai
github
similar
stevezhee/eel
github
similar
ekmett/thrists
github
similar
openbrainsrc/postgresql-simple-sop
github
similar
jwiegley/hierarchy
github
similar
conal/functor-combo
github
similar
lmj/cayley-dickson
github
similar
olivierverdier/GeometricAlgebra
github
similar
RazvanRanca/GenericPretty
github
similar
jaspervdj/firefly
github
similar
mgsloan/instance-templates
github
similar
reynir/Verified
github
similar
selectel/bson-haskell
github
similar
HeinrichApfelmus/optimize-monad-trans
github
similar
bgamari/play-type-search
github
similar
ekmett/linear-accelerate
github
similar
tvh/llvm-general-quote
github
similar
hsyl20/ghc-studio
github
similar
ttuegel/autonix-deps
github
similar
k0001/pipes-aeson
github
similar
edwinb/Eff-new
github
similar
corajr/heroku-buildpack-nix-proot
github
similar
adnelson/nix-node-packages
github
similar
jtanguy/hmacaroons
github
similar
np/hx
github
similar
idris-hackers/eff-tutorial
github
similar
chrisdone/chrisdone-xmonad
github
similar
sacundim/free-operational
github
similar
davidar/hs-ipfs-api
github
similar
nilcons/haskell-tz
github
similar
vincenthz/hs-securemem
github
similar
quarterpast/fantasy-http
github
similar
Michaelt293/isotope
github
similar
jagajaga/nixos-slim-theme
github
similar