Pinned Loading

1. grammars-and-semantic-actionsgrammars-and-semantic-actionsPublic

   Intrinsic Verification of Formal Grammar Theory

   Agda 28 4

2. ericgiovannini/gradual-typing-semantics-in-sgdtericgiovannini/gradual-typing-semantics-in-sgdtPublic

   Agda 6

3. zydeco-lang/zydecozydeco-lang/zydecoPublic

   a proof-of-concept programming language based on call-by-push-value

   Rust 70 2

4. um-catlab/cubical-categorical-logicum-catlab/cubical-categorical-logicPublic

   Extensions to cubical for categorical logic/type theory

   Agda 41 8

5. virtual-equipmentsvirtual-equipmentsPublic

   Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory

   TeX 32

6. zydeco-lang/fiddlezydeco-lang/fiddlePublic

   A dynamically-typed CBPV language embedded in Racket

   Racket 41 1