Similar repositories to liamoc/spacemacs-agda:

• liamoc/spacemacs-agda github similar
• commandodev/purescript-nix github similar
• peti/ghc-library-id-bug github similar
• kawu/dawg github similar
• ttuegel/autonix-deps github similar
• corajr/heroku-buildpack-nix-proot github similar
• adnelson/nix-node-packages github similar
• jagajaga/nixos-slim-theme github similar
• gregwebs/haskell-heroku github similar
• japesinator/tarts github similar
• idris-hackers/eff-tutorial github similar
• madjar/nixbang github similar
• sacundim/free-operational github similar
• kfish/raft github similar
• davidar/hs-ipfs-api github similar
• dpiponi/mini_fm github similar
• tibbe/ekg-statsd github similar
• jwiegley/bytestring-fiat github similar
• vincenthz/professor github similar
• chrisdone/chrisdone-xmonad github similar
• edc/mapcat github similar
• stepcut/hyperdrive github similar
• Gabriel439/nixfmt github similar
• manuel/taf github similar
• triton/triton github similar
• evertedsphere/rien github similar
• haskell-nix/hnix-store github similar
• simonh1000/file-reader github similar
• jvranish/MiniKanrenT github similar
• Profpatsch/yarn2nix github similar
• nominolo/lambdachine github similar
• reiddraper/ordeal github similar
• sorellabs/claire github similar
• xtruder/nix-kubernetes github similar
• lexchou/swallow github similar
• zalora/upcast github similar
• purescript/purescript-quickcheck github similar
• timjb/quantities github similar
• hopper-lang/hopper-v0 github similar
• ilya-klyuchnikov/ttlite github similar