Cornell University Networking Lab

Ithaca, NY

Pinned Repositories

avenir
Language:Java5 7 53
hydra-artifact
Language:P43 2 00
MicroP4
μP4: A framework for programming dataplane of network devices
Language:C++30 8 06
p4check
P4Check 16: A Static Analysis tool for P4 16 that detects accesses to invalid headers
Language:OCaml7 3 20
p4pp
P4 Preprocessor
Language:OCaml6 8 44
pifo-trees-artifact
An artifact in support our paper "Formal Abstractions for Packet Scheduling"
Language:OCaml3 3 00
poulet4
Language:Coq1 10 01
sigcomm21-tutorial
Materials for SIGCOMM '21 Tutorial on Verification
Language:Coq6 3 12
sigcomm23-tutorial
Language:P42 2 03
yates
YATES (Yet Another Traffic Engineering System)
Language:OCaml62 6 620

Cornell University Networking Lab's Repositories

cornell-netlab/yates
YATES (Yet Another Traffic Engineering System)
Language:OCaml62 6 620
cornell-netlab/MicroP4
μP4: A framework for programming dataplane of network devices
Language:C++30 8 06
cornell-netlab/p4check
P4Check 16: A Static Analysis tool for P4 16 that detects accesses to invalid headers
Language:OCaml7 3 20
cornell-netlab/p4pp
P4 Preprocessor
Language:OCaml6 8 44
cornell-netlab/sigcomm21-tutorial
Materials for SIGCOMM '21 Tutorial on Verification
Language:Coq6 3 12
cornell-netlab/avenir
Language:Java5 7 53
cornell-netlab/hydra-artifact
Language:P43 2 00
cornell-netlab/pifo-trees-artifact
An artifact in support our paper "Formal Abstractions for Packet Scheduling"
Language:OCaml3 3 00
cornell-netlab/sigcomm23-tutorial
Language:P42 2 03
cornell-netlab/cav21-tutorial
Source code for CAV '21 tutorials
Language:P41 1 00
cornell-netlab/poulet4
Language:Coq1 10 01
cornell-netlab/capisce
Capisce: Control Interface Specifications for Dataplane Pipelines
Language:QMake00
cornell-netlab/onos
Open Network Operating System
Language:Java0 4 00
cornell-netlab/KATch
Language:HTML6 0