Pinned Loading

1. grammars-and-semantic-actions grammars-and-semantic-actions Public

   Intrinsic Verification of Formal Grammar Theory

   Agda 28 4

2. ericgiovannini/gradual-typing-semantics-in-sgdt ericgiovannini/gradual-typing-semantics-in-sgdt Public

   Agda 6

3. zydeco-lang/zydeco zydeco-lang/zydeco Public

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

   Rust 66 2

4. um-catlab/cubical-categorical-logic um-catlab/cubical-categorical-logic Public

   Extensions to cubical for categorical logic/type theory

   Agda 38 7

5. virtual-equipments virtual-equipments Public

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

   TeX 32

6. zydeco-lang/fiddle zydeco-lang/fiddle Public

   A dynamically-typed CBPV language embedded in Racket

   Racket 40 1