Similar repositories to gallais/aGdaREP:
gallais/aGdaREP
github
similar
gibiansky/IHaskell
github
similar
RobertHarper/hott-notes
github
similar
hecrj/iced
github
similar
nachivpn/k
github
similar
peterthiemann/definitional-session
github
similar
jonsterling/coq-domains
github
similar
andreasabel/helf
github
similar
bobatkey/agda-metric-reals
github
similar
motemen/gore
github
similar
k6io/k6
github
similar
aquynh/capstone
github
similar
jonsterling/agda-stc
github
similar
laMudri/generic-lr
github
similar
mr-ohman/logrel-mltt
github
similar
tree-sitter/tree-sitter-agda
github
similar
tsung-ju/SystemF
github
similar
effectfully/Generic
github
similar
ericfinster/opetopic-types
github
similar
wenkokke/AutoInAgda
github
similar
jespercockx/ataca
github
similar
rudymatela/express
github
similar
sstucki/pts-agda
github
similar
JLimperg/msc-thesis-code
github
similar
ayberkt/sequents
github
similar
andreasabel/strong-normalization
github
similar
msuperdock/agda-unused
github
similar
msp-strath/feet
github
similar
lastland/ClairvoyanceMonad
github
similar
JLimperg/well-founded-corecursion
github
similar
favonia/hdtt2020-notes
github
similar
metaborg/linear.agda
github
similar
AndrasKovacs/thesis
github
similar
Trebor-Huang/Down-The-Path
github
similar
tonyxty/grimoire
github
similar
JorisCeulemans/sikkel
github
similar
tetrapharmakon/yoneda-in-tongues
github
similar
andrejbauer/clerical
github
similar
AndrasKovacs/polynomial-model
github
similar
frex-project/agda-fragment
github
similar