Similar repositories to robsimmons/abbot:

• robsimmons/abbot github similar
• RobertHarper/hott-notes github similar
• smlnj/smlnj github similar
• RedPRL/sml-typed-abts github similar
• rowandavies/sml-cidre github similar
• ayberkt/rafine github similar
• JohnReppy/sml-compiler-utils github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• jonsterling/agda-abt github similar
• heades/cut-fill-agda github similar
• agda/agda-spec github similar
• gibiansky/IHaskell github similar
• jonsterling/sml-pronominal-ml github similar
• jcreedcmu/lambda-maps github similar
• yannham/visual-goi github similar
• AndrasKovacs/qiit-generalizations github similar
• TOTBWF/agda-sgd github similar
• JohnReppy/compiling-pattern-guards github similar
• mr-ohman/logrel-mltt github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• ayberkt/sml-system-t github similar
• Toxaris/pts github similar
• cocreature/pfpl-redex github similar
• jyp/sctt github similar
• mietek/abel-chapman-extended github similar
• andreasabel/strong-normalization github similar
• andreasabel/helf github similar
• jonsterling/sml-modernized-algol github similar
• jonsterling/sml-logical-framework github similar
• bitonic/tog github similar
• andrejbauer/miniLCF github similar
• pigworker/PolyTest github similar
• amintimany/CTDT github similar
• mr-ohman/intuitionistic-normalization github similar
• jozefg/fibrational-semantics github similar
• dlicata335/cubicalexperiments github similar
• pigworker/Bi71 github similar
• willcrichton/rabbot github similar
• adrieng/pulsar github similar
• ak3n/abt-zoo github similar