Cornell University Networking Lab (@cornell-netlab)
Guthub

cornell-netlab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    130
  • Global Org. Rank 50,808 (Top 17 %)
  • Registered almost 7 years ago
  • Most used languages
    OCaml
         30.8 %
    P4     30.8 %
    Coq     15.4 %
    HTML
         7.7 %
    Java
         7.7 %
    C++
         7.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 44,392
  • Country Ranking
    P4     11
    Coq     88
    OCaml
         88
    C++
         5,562

Top repositories

1

yates

YATES (Yet Another Traffic Engineering System)
OCaml
63
star
2

MicroP4

ΞΌP4: A framework for programming dataplane of network devices
C++
30
star
3

p4check

P4Check 16: A Static Analysis tool for P4 16 that detects accesses to invalid headers
OCaml
7
star
4

avenir

Java
6
star
5

sigcomm21-tutorial

Materials for SIGCOMM '21 Tutorial on Verification
Coq
6
star
6

p4pp

P4 Preprocessor
OCaml
6
star
7

hydra-artifact

P4
3
star
8

pifo-trees-artifact

An artifact in support our paper "Formal Abstractions for Packet Scheduling"
OCaml
3
star
9

sigcomm23-tutorial

P4
2
star
10

cav21-tutorial

Source code for CAV '21 tutorials
P4
1
star
11

capisce

Capisce: Control Interface Specifications for Dataplane Pipelines
P4
1
star
12

poulet4

Coq
1
star
13

KATch

HTML
1
star