Similar repositories to idris-hackers/idris-free:
idris-hackers/idris-free
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
shaunlebron/parinfer
github
similar
HuwCampbell/idris-lens
github
similar
alexcrichton/cc-rs
github
similar
hecrj/iced
github
similar
tootsuite/mastodon
github
similar
pixijs/pixi.js
github
similar
japesinator/Idris-Profunctors
github
similar
idris-hackers/idris-lens
github
similar
japesinator/Idris-Bifunctors
github
similar
annenkov/trace-monoids
github
similar
MarcelineVQ/idris2-streaming
github
similar
puffnfresh/bam-idris-blog
github
similar
jfdm/idris-argparse
github
similar
groupoid/anders
github
similar
idris-hackers/iQuery
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar
bmwant/idris-is-awesome.github.io
github
similar
danilkolikov/categories
github
similar
idris-hackers/idris-algebra
github
similar
ReactTraining/react-router
github
similar
Eloston/ungoogled-chromium
github
similar
precog/quasar
github
similar
juxt/crux
github
similar
spicydonuts/purescript-spectacle-presentation
github
similar
Eugeny/terminus
github
similar
fritzlabs/Awesome-Mobile-Machine-Learning
github
similar
arend-lang/site
github
similar
AxiomCrisis/proofs
github
similar
tiatomee/toml-idr
github
similar
raptazure/kweh
github
similar
justjoheinz/idris-httpclient
github
similar
jonsterling/agda-effectful-forcing
github
similar
david-christiansen/idris-type-providers
github
similar
david-christiansen/IdrisSqlite
github
similar
clayrat/idris-linear
github
similar
alanz/incremental-play
github
similar
meraymond2/idris-ide-client
github
similar