Similar repositories to wchresta/idris2.nix:

• gibiansky/IHaskell github similar
• wchresta/idris2.nix github similar
• postalhq/postal github similar
• tuvtran/project-based-learning github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• justinwoo/purescript-expect-inferred github similar
• klntsky/purescript-bower-json github similar
• colemickens/nixpkgs-wayland github similar
• hecrj/iced github similar
• justinwoo/ohyes-demo github similar
• qram9/sisal github similar
• roddyyaga/ws-server github similar
• Russoul/Idris2-Vim-Ide github similar
• lbolla/emacs-flycheck-elixir github similar
• justinwoo/purescript-typelevel-intro github similar
• justinwoo/purescript-chirashi github similar
• justinwoo/purescript-type-isequal github similar
• purescript/registry github similar
• justinwoo/why-nix-shorts-talk github similar
• i-am-tom/purescript-propagators github similar
• newlandsvalley/purescript-abc-scores github similar
• LiamGoodacre/category-exercises github similar
• newlandsvalley/chord-editor github similar
• bor0/formal-ed github similar
• jkoppel/compstrat github similar
• coq-community/generic-environments github similar
• justinwoo/purescript-tanghulu github similar
• Zilliqa/scilla-compiler github similar
• Banksy-Finance/banksy github similar
• newlandsvalley/purescript-soundfonts github similar
• justinwoo/purescript-biang github similar
• purescript/purescript-contravariant github similar
• natefaubion/purescript-higher-order github similar
• i-am-tom/purescript-spirographs github similar
• paf31/purescript-scoped-labels github similar
• danieljharvey/migratable github similar
• madgen/refinement-types-seminar github similar
• jtobin/mwc-probability github similar
• llelf/kex github similar