Similar repositories to msuperdock/vim-agda:
hecrj/iced
github
similar
msuperdock/vim-agda
github
similar
ralsei/six-eyes
github
similar
danistefanovic/build-your-own-x
github
similar
roc-lang/roc
github
similar
knisht/arend-ct
github
similar
NetchX/Netch
github
similar
tonyxty/Galois
github
similar
dannypsnl/inductive
github
similar
wenkokke/polygen
github
similar
raptazure/kweh
github
similar
tlringer/ml-for-proofs
github
similar
smlnj/smlnj
github
similar
oven-sh/bun
github
similar
pabloariasal/protofmt
github
similar
pigworker/SmolCat
github
similar
plt-amy/cubical-methods
github
similar
ronami/HypeScript
github
similar
nmvdw/RezkCompletion
github
similar
tootsuite/mastodon
github
similar
blockstack/stacks
github
similar
uncle-betty/trust-but-verify
github
similar
anqurvanillapy/slides
github
similar
scmlab/I-Love-Lean
github
similar
tonyxty/FunWithArend
github
similar
jonsterling/guarded-theories
github
similar
JacquesCarette/agda-algebras
github
similar
gallais/idris-free
github
similar
JLimperg/msc-thesis-code
github
similar
amblafont/UniversalII
github
similar
pamellies/models-of-programming-languages
github
similar
xuanruiqi/commalg
github
similar
tomdjong/TypeTopology
github
similar
elpinal/duploids
github
similar
tonyxty/hStacks
github
similar
RedPRL/mugen
github
similar
andreasabel/agda2lagda
github
similar
newk5/flui
github
similar
JLimperg/well-founded-corecursion
github
similar
bulenkov/PngOptimizer
github
similar