Similar repositories to LaufferN/HoTT-Arend:
LaufferN/HoTT-Arend
github
similar
ggerganov/llama.cpp
github
similar
lsrcz/grisette
github
similar
halfaya/Counterpoint
github
similar
annenkov/trace-monoids
github
similar
martinescardo/EffectfulForcing
github
similar
mvr/at
github
similar
julianhyde/morel
github
similar
thautwarm/UPL
github
similar
limemloh/cubical-congruence
github
similar
rzach/boxes-and-diamonds
github
similar
lawl/NoiseTorch
github
similar
ocramz/algebraic-graphs-io
github
similar
andrejbauer/higher-rank-syntax
github
similar
arend-lang/tutorial-code
github
similar
ryoppippi/nyancat.zig
github
similar
poitin/Distiller
github
similar
lkuper/CSE290Q-2019-09
github
similar
tvdstorm/oalgcomp
github
similar
cicada-lang/cicada
github
similar
ecavallo/ptt
github
similar
webyrd/slpKanren
github
similar
siddhartha-gadgil/Saturn
github
similar
owo-lang/intellij-dtlc
github
similar
jonsterling/agda-calf
github
similar
uwplse/ruler
github
similar
AndrasKovacs/staged-fusion
github
similar
prathyvsh/lambda-calculus-visualizations
github
similar
peterlefanulumsdaine/general-type-theories
github
similar
JetBrains/intellij-arend
github
similar
TiarkRompf/lms-clean
github
similar
ultimate-pa/smtinterpol
github
similar
JetBrains/Rplugin
github
similar
webyrd/dissertation-single-spaced
github
similar
andrejbauer/notes-on-realizability
github
similar
Kraks/sai
github
similar
conal/talk-2021-can-tensor-programming-be-liberated
github
similar
DeLaGuardo/setup-graalvm
github
similar
ymherklotz/vericert
github
similar
JetBrains/arend-lib
github
similar