Similar repositories to idris-hackers/idris-lens:
idris-hackers/idris-lens
github
similar
gibiansky/IHaskell
github
similar
shaunlebron/parinfer
github
similar
ReactTraining/react-router
github
similar
danistefanovic/build-your-own-x
github
similar
japesinator/Idris-Profunctors
github
similar
precog/quasar
github
similar
japesinator/Idris-Bifunctors
github
similar
idris-hackers/idris-free
github
similar
jfdm/idris-argparse
github
similar
pixijs/pixi.js
github
similar
gallais/idris-tmustache
github
similar
HuwCampbell/idris-lens
github
similar
idris-hackers/idris-posix
github
similar
RobertHarper/hott-notes
github
similar
reynir/Verified
github
similar
puffnfresh/bam-idris-blog
github
similar
laughedelic/sublime-idris
github
similar
SimonJF/IdrisNet
github
similar
writeoncereadmany/idris-dimensions
github
similar
jfdm/idris-testing
github
similar
benjaminselfridge/logix
github
similar
justjoheinz/idris-httpclient
github
similar
ziman/idris-benchmarks
github
similar
sellout/Iaia
github
similar
idris-hackers/idris-bot
github
similar
domdere/logic-idris
github
similar
purescript/purescript-math
github
similar
xuwei-k/hascalator.g8
github
similar
noelmarkham/crystal-ball-monocle
github
similar
sbt/intellij-sbt
github
similar
sbt/sbt-sidedish
github
similar
tootsuite/mastodon
github
similar
sbt/helloworld-one
github
similar
motemen/gore
github
similar
flatmap/scala-json-rpc
github
similar
KyleU/scala-js-typescript
github
similar
lab-ml/annotated_deep_learning_paper_implementations
github
similar
emilypi/Cata-Mu-Fix
github
similar
ziman/text
github
similar