Similar repositories to idris-hackers/idrispkgs:
idris-hackers/idrispkgs
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
puffnfresh/bam-idris-blog
github
similar
shaunlebron/parinfer
github
similar
RobertHarper/hott-notes
github
similar
jmars/Records
github
similar
paf31/purescript-foreign-lens
github
similar
pixijs/pixi.js
github
similar
aquynh/capstone
github
similar
ReactTraining/react-router
github
similar
ttuegel/autonix-deps
github
similar
kowainik/idris-patricia
github
similar
sellout/Idris-CPDT
github
similar
david-christiansen/idris-tf-random
github
similar
aaronlevin/nixos-cookbook
github
similar
shlevy/dotfiles
github
similar
Fuuzetsu/agdoparsec
github
similar
idris-hackers/iQuery
github
similar
trillioneyes/idris-toys
github
similar
david-christiansen/Brainfun
github
similar
paf31/purescript-tropical
github
similar
larrytheliquid/leveling-up
github
similar
RyanGlScott/levitation
github
similar
mietek/idris-bash
github
similar
FranckS/RingIdris
github
similar
yurrriq/idris-logic
github
similar
styzystyzy/Axiom_of_Choice
github
similar
SimonJF/IdrisNet2
github
similar
dave4420/cabal2nix4dev
github
similar
SimonJF/IdrisNet
github
similar
raichoo/31C3Slides
github
similar
olivierverdier/GeometricAlgebra
github
similar
david-christiansen/idris-type-providers
github
similar
japesinator/tarts
github
similar
jonsterling/agda-effectful-forcing
github
similar
madjar/nixbang
github
similar
serras/4languages
github
similar
ahmadsalim/well-typed-agda-interpreter
github
similar