Cornell University Networking Lab

Popular repositories

1. yates Public

   YATES (Yet Another Traffic Engineering System)

   OCaml 46 17

2. MicroP4 Public

   μP4: A framework for programming dataplane of network devices

   C++ 26 6

3. p4check Public

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

   OCaml 8

4. p4pp Public

   P4 Preprocessor

   OCaml 6 4

5. sigcomm21-tutorial Public

   Materials for SIGCOMM '21 Tutorial on Verification

   Coq 5 2

6. avenir Public

   Java 3 2