Similar repositories to barrucadu/coco:
barrucadu/coco
github
similar
jonsterling/sml-pronominal-ml
github
similar
ivan-m/transmogrify
github
similar
jozefg/concurrent-stack-with-helping
github
similar
cocreature/pfpl-redex
github
similar
ayberkt/rafine
github
similar
mietek/abel-chapman-extended
github
similar
jozefg/fibrational-semantics
github
similar
mr-ohman/intuitionistic-normalization
github
similar
pigworker/PolyTest
github
similar
dlicata335/cubicalexperiments
github
similar
jonsterling/agda-abt
github
similar
jozefg/independence-of-the-continuum-hypothesis
github
similar
EgbertRijke/GraphModel
github
similar
larrytheliquid/spire
github
similar
bitemyapp/teef
github
similar
heades/cut-fill-agda
github
similar
ollef/region
github
similar
pigworker/LibAgda
github
similar
RedPRL/sml-cats
github
similar
ayberkt/abt
github
similar
pigworker/Ohrid-Agda
github
similar
yannham/visual-goi
github
similar
ToTal/total
github
similar
jonsterling/topos-theory-notes
github
similar
RedPRL/sml-final-pretty-printer
github
similar
vagarenko/static-tensor
github
similar
ayberkt/Mini-TT
github
similar
orca-lang/orca
github
similar
GuillermoCalderon/ProjectiveGeometryInAgda
github
similar
gergoerdi/syntactic-stlc
github
similar
jmchapman/Big-step-Normalisation
github
similar
kosmikus/indexed
github
similar
thibautbenjamin/catt
github
similar
jyp/sctt
github
similar
vellvm/ollvm
github
similar
conal/talk-2016-generic-parallel-scan
github
similar
hazelgrove/agda-popl17
github
similar
jonsterling/agda-zipper-machine
github
similar
jonsterling/sml-logical-framework
github
similar