Pinned Loading

1. cornell-netlab/avenir cornell-netlab/avenir Public

   Java 7 3

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

   Petr4: Formal Semantics for P4

   P4 83 25

3. epikat epikat Public

   Epistemic Reasoning in KAT

   Haskell 1 1

4. cornell-netlab/p4check cornell-netlab/p4check Public

   P4Check 16: A Static Analysis tool for P4 16 that detects accesses to invalid headers

   OCaml 8

5. interpreters interpreters Public

   An Implementation of Many of the Definitional Interpreters from John C. Reynold's 1972 paper

   Haskell 3

6. cornell-netlab/capisce cornell-netlab/capisce Public

   Capisce: Control Interface Specifications for Dataplane Pipelines

   P4 1