Similar repositories to evertedsphere/sound-and-complete:
evertedsphere/sound-and-complete
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
tootsuite/mastodon
github
similar
ReactTraining/react-router
github
similar
ollef/Bidirectional
github
similar
lexi-lambda/higher-rank
github
similar
pixijs/pixi.js
github
similar
RobertHarper/hott-notes
github
similar
nomeata/veggies
github
similar
adamgundry/type-inference
github
similar
sweirich/tal
github
similar
k6io/k6
github
similar
meilisearch/MeiliSearch
github
similar
haskellari/tree-diff
github
similar
evertedsphere/how-to-implement-dependent-type-theory
github
similar
robrix/path
github
similar
jozefg/higher-order-unification
github
similar
ilya-klyuchnikov/lambdapi
github
similar
chessai/theseus
github
similar
neel-krishnaswami/linearml
github
similar
maybevoid/casimir
github
similar
kowainik/treap
github
similar
brendanzab/rust-nbe-for-mltt
github
similar
andreasabel/miniagda
github
similar
andgate/type-theory-compiler
github
similar
dalaing/type-systems
github
similar
lspitzner/exference
github
similar
ekmett/coda
github
similar
david-christiansen/epigram1
github
similar
nomeata/ghc-justdoit
github
similar
tfausak/thran
github
similar
target/row-types
github
similar
jyp/nano-Agda
github
similar
LightAndLight/cbpv
github
similar
jozefg/blott
github
similar
jdreaver/amy
github
similar
bubba/lsp-test
github
similar
fpco/weigh
github
similar