Similar repositories to ermine-language/ermine:
ermine-language/ermine
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
pixijs/pixi.js
github
similar
ReactTraining/react-router
github
similar
shaunlebron/parinfer
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
ekmett/machines
github
similar
RobertHarper/hott-notes
github
similar
precog/quasar
github
similar
runarorama/scala-machines
github
similar
ermine-language/ermine-scala-core
github
similar
meilisearch/MeiliSearch
github
similar
ekmett/trifecta
github
similar
ekmett/hask
github
similar
seliopou/typo
github
similar
idris-hackers/idris-crypto
github
similar
aquynh/capstone
github
similar
discus-lang/ddc
github
similar
gasche/icfp2013-papers
github
similar
snoyberg/classy-prelude
github
similar
tibbe/ekg
github
similar
mthom/shentong
github
similar
jberryman/unagi-chan
github
similar
mmirman/caledon
github
similar
ekmett/bound
github
similar
sweirich/tal
github
similar
nikita-volkov/record
github
similar
chriskempson/base16
github
similar
ajhc/ajhc
github
similar
icicle-lang/icicle-ambiata
github
similar
ollef/Earley
github
similar
liamoc/learn-you-an-agda
github
similar
edx/edx-platform
github
similar
k6io/k6
github
similar
well-typed/generics-sop
github
similar
pigworker/MetaprogAgda
github
similar
ekmett/coda
github
similar
idris-hackers/IdrisWeb
github
similar