Similar repositories to peterlefanulumsdaine/general-type-theories:
peterlefanulumsdaine/general-type-theories
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
groupoid/anders
github
similar
Eloston/ungoogled-chromium
github
similar
LightAndLight/qtt
github
similar
tomdjong/domain-theory-in-uf
github
similar
jonsterling/dreamtt
github
similar
TOTBWF/muprl
github
similar
TheoWinterhalter/formal-type-theory
github
similar
ecavallo/ptt
github
similar
meilisearch/MeiliSearch
github
similar
tuvtran/project-based-learning
github
similar
pixijs/pixi.js
github
similar
sarsko/CreuSAT
github
similar
andrejbauer/mathematical-stories
github
similar
vrahli/NuprlInCoq
github
similar
RobertHarper/hott-notes
github
similar
jozefg/blott
github
similar
andrejbauer/clerical
github
similar
AndrasKovacs/thesis
github
similar
jonsterling/coq-domains
github
similar
unicoq/unicoq
github
similar
bedrocksystems/cpp2v
github
similar
aquynh/capstone
github
similar
Eugeny/terminus
github
similar
k6io/k6
github
similar
smlnj/smlnj
github
similar
ralsei/six-eyes
github
similar
mortberg/yacctt
github
similar
tsung-ju/SystemF
github
similar
gallais/parseque
github
similar
bellissimogiorno/nominal
github
similar
gallais/generic-syntax
github
similar
edwinb/Yaffle
github
similar
sstucki/pts-agda
github
similar
andrejbauer/higher-rank-syntax
github
similar
elpinal/modules
github
similar