Similar repositories to idris-hackers/idris-cph-exercises:
idris-hackers/idris-cph-exercises
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
pixijs/pixi.js
github
similar
ReactTraining/react-router
github
similar
tootsuite/mastodon
github
similar
motemen/gore
github
similar
precog/quasar
github
similar
hecrj/iced
github
similar
shaunlebron/parinfer
github
similar
MaxOw/Idris-WebGL
github
similar
idris-hackers/eff-tutorial
github
similar
RobertHarper/hott-notes
github
similar
ziman/bibdris
github
similar
reynir/Verified
github
similar
david-christiansen/IdrisSqlite
github
similar
mietek/agda-intro
github
similar
orca-lang/orca
github
similar
japesinator/tarts
github
similar
mangal-wg/mangal
github
similar
sellout/Idris-CPDT
github
similar
puffnfresh/stl-idris
github
similar
edwinb/Eff-new
github
similar
andrewthad/lens-prelude
github
similar
Ralith/quasigroup-completion
github
similar
kmein/telegram-ciphers
github
similar
blockstack/stacks
github
similar
factisresearch/Frozone
github
similar
statusfailed/hackage-fu
github
similar
csete/gqrx
github
similar
Eloston/ungoogled-chromium
github
similar
edwinb/tactics-tutorial
github
similar
aquynh/capstone
github
similar
tuvtran/project-based-learning
github
similar
doublec/aliceml-abandoned
github
similar
adamwalker/hrtlsdr
github
similar
edwinb/WS-idr
github
similar
relrod/tryidris-scala
github
similar
jwiegley/categorical
github
similar
eval-so/frontend
github
similar