Pinned Loading

1. Type-Reconstruction Type-Reconstruction Public

   Descriptions & implementations of type-reconstruction/inference algorithms.

   Coq

2. Lambda-Calculi-Coq Lambda-Calculi-Coq Public

   Lambda-Calculi implementations & proofs in Coq

   Coq 2

3. Lambda-Calculi-OCaml Lambda-Calculi-OCaml Public

   Lambda Calculus implementations in OCaml.

   OCaml 4

4. verified-network-toolchain/petr4 verified-network-toolchain/petr4 Public

   Petr4: Formal Semantics for P4

   P4 77 21

5. TAPL-Haskell TAPL-Haskell Public

   Haskell implementations of type systems as described in Benjamin Pierce's Types and Programming Languages.

   Haskell 1

6. Coq-Type-Classes Coq-Type-Classes Public

   A library of coq type classes and instances.

   Coq 1