Similar repositories to jozefg/blott:
jozefg/blott
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
RobertHarper/hott-notes
github
similar
jozefg/nbe-for-mltt
github
similar
gibiansky/IHaskell
github
similar
groupoid/anders
github
similar
brendanzab/rust-nbe-for-mltt
github
similar
RedPRL/redtt
github
similar
UlfNorell/insane
github
similar
tootsuite/mastodon
github
similar
bobatkey/sott
github
similar
RedPRL/cooltt
github
similar
robrix/path
github
similar
mortberg/yacctt
github
similar
jonsterling/dreamtt
github
similar
meilisearch/MeiliSearch
github
similar
sweirich/tal
github
similar
TheoWinterhalter/formal-type-theory
github
similar
bobatkey/modulog
github
similar
fredefox/cat
github
similar
molikto/mlang
github
similar
Beluga-lang/Beluga
github
similar
metaocaml/metaocaml-bibliography
github
similar
andrejbauer/spartan-type-theory
github
similar
slasser/vermillion
github
similar
garrigue/certint
github
similar
neel-krishnaswami/linearml
github
similar
Ekdohibs/joujou
github
similar
Andromedans/andromeda
github
similar
effectfully/OTT
github
similar
gallais/agda-sizedIO
github
similar
LightAndLight/qtt
github
similar
adamgundry/type-inference
github
similar
ak3n/modules-papers
github
similar
Eloston/ungoogled-chromium
github
similar
peterlefanulumsdaine/general-type-theories
github
similar
cedille/cedille
github
similar
gallais/generic-syntax
github
similar
nachivpn/nbe-course
github
similar