Similar repositories to idris-hackers/idris-extras:
idris-hackers/idris-extras
github
similar
danistefanovic/build-your-own-x
github
similar
Heather/idris-unicode
github
similar
Heather/keybase
github
similar
ljsc/hmac-sha
github
similar
johntyree/traduisons-hs
github
similar
soimort/idris-commonmark
github
similar
cadar/lfe-contrib
github
similar
dtchepak/SwiftParserExercises
github
similar
justjoheinz/idris-httpclient
github
similar
dcparker/shopify
github
similar
UniMath/2006_03_Homotopy_lambda_calculus
github
similar
ahmadsalim/well-typed-agda-interpreter
github
similar
purescript-contrib/purescript-these
github
similar
andyarvanitis/idris-cplusplus
github
similar
purescript-deprecated/purescript-channels
github
similar
qfpl/coordinate
github
similar
japesinator/Idris-Profunctors
github
similar
ekmett/gc
github
similar
domdere/fp-in-idris
github
similar
patperry/hs-linear-algebra
github
similar
luqui/dana
github
similar
reynir/Verified
github
similar
idris-hackers/idris-algebra
github
similar
david-christiansen/idris-interaction.rkt
github
similar
japesinator/Idris-Bifunctors
github
similar
mccraigmccraig/colloquy
github
similar
JLimperg/cats
github
similar
idris-hackers/idris-lens
github
similar
HoTT/M-types
github
similar
thsutton/cha
github
similar
erlware/uri
github
similar
pigworker/Totality
github
similar
favonia/homotopy
github
similar
supki/xmonad-screenshot
github
similar
idris-hackers/eff-tutorial
github
similar
RobertHarper/hott-notes
github
similar
idris-hackers/idris-free
github
similar
vindaloo-thesis/examples
github
similar
lfex/clj
github
similar