Similar repositories to danr/hipspec:
danr/hipspec
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
ReactTraining/react-router
github
similar
shaunlebron/parinfer
github
similar
tootsuite/mastodon
github
similar
sweirich/tal
github
similar
ilya-klyuchnikov/lambdapi
github
similar
nick8325/quickspec
github
similar
jyp/nano-Agda
github
similar
ilya-klyuchnikov/ttlite
github
similar
adamgundry/type-inference
github
similar
dalaing/type-systems
github
similar
RobertHarper/hott-notes
github
similar
aquynh/capstone
github
similar
nomeata/ghc-proofs
github
similar
sweirich/trellys
github
similar
RefactoringTools/HaRe
github
similar
maybevoid/casimir
github
similar
nh2/link-with-lld-example
github
similar
GaloisInc/jvm-parser
github
similar
gallais/parseque
github
similar
discus-lang/ddc
github
similar
LightAndLight/parametricity-proofs
github
similar
andreasabel/miniagda
github
similar
david-christiansen/pudding-old
github
similar
msprotz/proof-search-monad
github
similar
ezyang/logitext
github
similar
evertedsphere/sound-and-complete
github
similar
precog/quasar
github
similar
Bodigrim/poly
github
similar
pixijs/pixi.js
github
similar
mathandley/RTick
github
similar
tuvtran/project-based-learning
github
similar
motemen/gore
github
similar
spire/spire
github
similar
ucsd-progsys/mist
github
similar
jship/tao
github
similar
copumpkin/categories
github
similar
nikivazou/theorem-proving-template
github
similar