Similar repositories to anjapetkovic/type-theory-slovene-dictionary:
anjapetkovic/type-theory-slovene-dictionary
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
andrejbauer/dependent-type-theory-syntax
github
similar
aquynh/capstone
github
similar
tootsuite/mastodon
github
similar
Eugeny/terminus
github
similar
bobatkey/polly
github
similar
jonsterling/lecture-notes
github
similar
groupoid/languages
github
similar
hecrj/iced
github
similar
Soonad/Formality-Agda
github
similar
juxt/crux
github
similar
k6io/k6
github
similar
forked-from-1kasper/tt
github
similar
NetchX/Netch
github
similar
meilisearch/MeiliSearch
github
similar
tuvtran/project-based-learning
github
similar
5HT/DependentLinearPi
github
similar
nmvdw/RezkCompletion
github
similar
xuanruiqi/algebraic-geometry
github
similar
silvanshade/cool-tt
github
similar
maxsnew/grammars-and-semantic-actions
github
similar
nmvdw/groupoids
github
similar
logsem/aneris
github
similar
cutsea110/magma
github
similar
andreasabel/lambda-definability
github
similar
tetrapharmakon/isbell-frames
github
similar
awodey/ritop
github
similar
vyorkin/ray
github
similar
yizhouzhang/olaf-coq
github
similar
wadler/bnfc-examples
github
similar
NeM-T/Formalizing-TaPL
github
similar
niccoloveltri/final-pfin
github
similar
logsem/iris-tini
github
similar
uds-psl/fol-completeness-theorems
github
similar
goldfirere/ott-tutorial
github
similar
sseefried/learning-agda
github
similar
tomdjong/domain-theory-in-uf
github
similar
larrytheliquid/generic-elim
github
similar