Similar repositories to metaborg/linear.agda:
metaborg/linear.agda
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
laMudri/generic-lr
github
similar
mr-ohman/logrel-mltt
github
similar
mikeshulman/ohtt
github
similar
oven-sh/bun
github
similar
motemen/gore
github
similar
roc-lang/roc
github
similar
ReactTraining/react-router
github
similar
RobertHarper/hott-notes
github
similar
jespercockx/agda2scheme
github
similar
andreasabel/strong-normalization
github
similar
bobatkey/system-f-parametricity-model
github
similar
dorchard/effects-as-sessions
github
similar
ziman/itt-idris
github
similar
tree-sitter/tree-sitter-agda
github
similar
pigworker/potato
github
similar
sstucki/pts-agda
github
similar
L-TChen/MtacAR
github
similar
L-TChen/ModalTypeTheory
github
similar
jonsterling/coq-domains
github
similar
gallais/typing-with-leftovers
github
similar
bobatkey/agda-metric-reals
github
similar
k6io/k6
github
similar
Eloston/ungoogled-chromium
github
similar
meilisearch/MeiliSearch
github
similar
smlnj/smlnj
github
similar
effectfully/Cubes
github
similar
wenkokke/idris-sesh
github
similar
arthuraa/extructures
github
similar
gallais/agda-sizedIO
github
similar
sweirich/lennart-lambda
github
similar
kangrongji/cubical-classics
github
similar
julianhyde/morel
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar
Zekt/Type-Embellishment
github
similar
langston-barrett/write-yourself-a-scheme-in-agda
github
similar
mietek/hilbert-gentzen
github
similar