Similar repositories to UU-ComputerScience/uhc:
UU-ComputerScience/uhc
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
shaunlebron/parinfer
github
similar
tootsuite/mastodon
github
similar
ReactTraining/react-router
github
similar
aquynh/capstone
github
similar
Eloston/ungoogled-chromium
github
similar
k6io/k6
github
similar
pixijs/pixi.js
github
similar
RobertHarper/hott-notes
github
similar
edwinb/EpiVM
github
similar
Lemmih/lhc
github
similar
discus-lang/ddc
github
similar
adamgundry/type-inference
github
similar
andreasabel/miniagda
github
similar
nomeata/veggies
github
similar
myuon/ghc-compiler-notes
github
similar
andorp/mini-grin
github
similar
csabahruska/jhc-components
github
similar
jyp/nano-Agda
github
similar
sweirich/tal
github
similar
gasche/popl2018-papers
github
similar
hecrj/iced
github
similar
nominolo/lambdachine
github
similar
sdiehl/dive-into-ghc
github
similar
ekmett/bound
github
similar
well-typed/generics-sop
github
similar
wavewave/fficxx
github
similar
TheoWinterhalter/formal-type-theory
github
similar
julianhyde/morel
github
similar
ekmett/trifecta
github
similar
ekmett/reducers
github
similar
valis/hoq
github
similar
fragnix/fragnix
github
similar
discus-lang/iron
github
similar
tweag/distributed-closure
github
similar
TOTBWF/muprl
github
similar
augustss/djinn
github
similar
simhu/cubical
github
similar