Similar repositories to david-christiansen/IdrisAtGalois2015:
david-christiansen/IdrisAtGalois2015
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
shaunlebron/parinfer
github
similar
pixijs/pixi.js
github
similar
precog/quasar
github
similar
pigworker/CS410-15
github
similar
tootsuite/mastodon
github
similar
ReactTraining/react-router
github
similar
postalhq/postal
github
similar
Eloston/ungoogled-chromium
github
similar
hecrj/iced
github
similar
k6io/k6
github
similar
meilisearch/MeiliSearch
github
similar
david-christiansen/idris-code-highlighter
github
similar
david-christiansen/idris-type-providers
github
similar
ToJans/idris101
github
similar
david-christiansen/IdrisSqlite
github
similar
aaronlevin/haskell-shopify
github
similar
vishesh/racketscript
github
similar
RobertHarper/hott-notes
github
similar
SimonJF/IdrisNet2
github
similar
KesterTong/idris2048
github
similar
david-christiansen/idris-interaction.rkt
github
similar
precog/purescript-mra
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
ziman/bibdris
github
similar
idris-hackers/idris-koans
github
similar
puffnfresh/bam-idris-blog
github
similar
jfdm/idris-containers
github
similar
BartAdv/idris-sodium
github
similar
pigworker/CS410-14
github
similar
zrho/purescript-optic-ui
github
similar
pigworker/CS410-13
github
similar
plum-umd/systematic-abstraction
github
similar
davidfstr/idris-insertion-sort
github
similar
jozefg/miniprl
github
similar
gallais/pearl-binary-search
github
similar
idris-hackers/IdrisScript
github
similar
simpleenergy/se-stream-xml
github
similar