Similar repositories to ucsd-progsys/mist:
ucsd-progsys/mist
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
tuvtran/project-based-learning
github
similar
pixijs/pixi.js
github
similar
ReactTraining/react-router
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
Eugeny/terminus
github
similar
aquynh/capstone
github
similar
neel-krishnaswami/linearml
github
similar
RobertHarper/hott-notes
github
similar
evertedsphere/how-to-implement-dependent-type-theory
github
similar
benjaminselfridge/logix
github
similar
phadej/write-yourself-a-typed-functional-language
github
similar
evertedsphere/preposterous
github
similar
LightAndLight/parametricity-proofs
github
similar
meilisearch/MeiliSearch
github
similar
Eloston/ungoogled-chromium
github
similar
RyanGlScott/ghc-software-foundations
github
similar
RyanGlScott/eliminators
github
similar
gallais/generic-syntax
github
similar
hurryabit/pukeko
github
similar
llvm-hs/llvm-hs-typed
github
similar
groupoid/anders
github
similar
zehaochen19/vanilla-lang
github
similar
effectfully/OTT
github
similar
robrix/path
github
similar
sweirich/replib
github
similar
kthielen/stlcc
github
similar
garrigue/certint
github
similar
eugmes/imp
github
similar
jozefg/nbe-for-mltt
github
similar
scmu/foundations-harper
github
similar
jyp/nano-Agda
github
similar
dorchard/effectful-explanations-talk
github
similar
taktoa/eqsat
github
similar
seagreen/llvm-in-haskell
github
similar
discus-lang/salt
github
similar
sweirich/corespec
github
similar