Similar repositories to amaurremi/dot-calculus:
amaurremi/dot-calculus
github
similar
danistefanovic/build-your-own-x
github
similar
bedrocksystems/cpp2v
github
similar
tuvtran/project-based-learning
github
similar
Blaisorblade/dot-iris
github
similar
nmvdw/GrpdHITs
github
similar
Eloston/ungoogled-chromium
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
raptazure/kweh
github
similar
meilisearch/MeiliSearch
github
similar
jonsterling/lean4-sgdt
github
similar
jonsterling/agda-stc
github
similar
agda/package-index
github
similar
amintimany/NbE
github
similar
jonsterling/guarded-theories
github
similar
Alendia/plfa-answers
github
similar
amblafont/UniversalII
github
similar
JacquesCarette/agda-algebras
github
similar
jonsterling/effectful-typesetting
github
similar
annenkov/trace-monoids
github
similar
DmxLarchey/Coq-Phase-Semantics
github
similar
nmvdw/HITs-Examples
github
similar
oisdk/finiteness-in-cubical-type-theory
github
similar
arend-lang/arend-contrib
github
similar
Saizan/hottest-talk
github
similar
nmvdw/RezkCompletion
github
similar
tonyxty/grimoire
github
similar
groupoid/anders
github
similar
epfl-lara/SystemFR
github
similar
tchajed/coq-record-update
github
similar
Trebor-Huang/agda-linear
github
similar
ekmett/make
github
similar
uds-psl/autosubst-ocaml
github
similar
andreasabel/universal-algebra
github
similar
elpinal/subtyping-agda
github
similar
sweirich/graded-haskell
github
similar
niccoloveltri/final-pfin
github
similar
garrigue/certint
github
similar
wargrey/w3s
github
similar