Similar repositories to umazalakain/agda-bcam:
umazalakain/agda-bcam
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
tootsuite/mastodon
github
similar
umazalakain/CoContextualPi
github
similar
casvdrest/composable-semantics
github
similar
arthuraa/agda-hoas-demo
github
similar
Zekt/Type-Embellishment
github
similar
Eloston/ungoogled-chromium
github
similar
edx/edx-platform
github
similar
motemen/gore
github
similar
leanprover-community/vscode-lean4
github
similar
shaunlebron/parinfer
github
similar
5HT/DependentLinearPi
github
similar
RobertHarper/hott-notes
github
similar
kcsmnt0/quotient
github
similar
yatima-inc/Parsec.lean
github
similar
flupe/generics
github
similar
boystrange/FairTermination
github
similar
groupoid/anders
github
similar
ohad/katla
github
similar
oisdk/agda-playground
github
similar
jespercockx/agda2scheme
github
similar
laMudri/generic-lr
github
similar
Julian/tree-sitter-lean
github
similar
jonsterling/coq-domains
github
similar
xuanruiqi/algebraic-geometry
github
similar
glangmead/formalization
github
similar
jsiek/gradual-typing-in-agda
github
similar
Chaaaos/formaltt
github
similar
mb64/xtt
github
similar
jonsterling/math
github
similar
javra/iit
github
similar
isadofschi/combinatorial_nullstellensatz
github
similar
clayrat/coherence-spaces
github
similar
metaborg/linear.agda
github
similar
MatthewDaggitt/agda-routing
github
similar
atennapel/tinka-hs
github
similar
plt-amy/cubical-methods
github
similar
combinators/cls-scala
github
similar