Similar repositories to hopper-lang/hopper-v0:
hopper-lang/hopper-v0
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
shaunlebron/parinfer
github
similar
precog/quasar
github
similar
hecrj/iced
github
similar
ReactTraining/react-router
github
similar
kadena-io/juno
github
similar
Eloston/ungoogled-chromium
github
similar
pixijs/pixi.js
github
similar
lens/lens-aeson
github
similar
typed-wire/typed-wire
github
similar
gasche/popl2018-papers
github
similar
blockstack/stacks
github
similar
aquynh/capstone
github
similar
meilisearch/MeiliSearch
github
similar
np/ling
github
similar
nomeata/veggies
github
similar
jonsterling/JonPRL
github
similar
robdockins/edison
github
similar
agrafix/superbuffer
github
similar
spire/spire
github
similar
ekmett/structs
github
similar
michaelt/streaming
github
similar
pigworker/CS410-14
github
similar
tel/serv
github
similar
david-christiansen/epigram1
github
similar
BekaValentine/SimpleFP-v2
github
similar
crypto-agda/crypto-agda
github
similar
fragnix/fragnix
github
similar
ekmett/hask
github
similar
jwiegley/coq-pipes
github
similar
fokot/howerpoint
github
similar
gallais/typing-with-leftovers
github
similar
pigworker/MetaprogAgda
github
similar
RobertHarper/hott-notes
github
similar
hargettp/courier
github
similar
cmcl/frankjnr
github
similar
GaloisInc/cereal
github
similar