Repositories list

• KATch

  Public
  HTML

  •

  Apache License 2.0

  •2•3•0•0•Updated Oct 24, 2024Oct 24, 2024

• capisce

  Public
  Capisce: Control Interface Specifications for Dataplane Pipelines

  P4

  •

  Other

  •0•1•0•0•Updated Aug 31, 2024Aug 31, 2024

• sigcomm23-tutorial

  Public
  P4

  •3•3•0•0•Updated Sep 10, 2023Sep 10, 2023

• pifo-trees-artifact

  Public
  An artifact in support our paper "Formal Abstractions for Packet Scheduling"

  OCaml

  •

  MIT License

  •0•3•0•0•Updated Sep 9, 2023Sep 9, 2023

• hydra-artifact

  Public
  P4

  •

  Apache License 2.0

  •0•3•0•0•Updated Sep 8, 2023Sep 8, 2023

• yates

  Public
  YATES (Yet Another Traffic Engineering System)

  simulatorfault-toleranceoptimization+ 4routingrouting-algorithmoblivioustraffic-engineering

  OCaml

  •

  Other

  •20•66•4•0•Updated Dec 3, 2022Dec 3, 2022

• avenir

  Public
  Java

  •3•6•3•2•Updated Oct 20, 2022Oct 20, 2022

• p4pp

  Public
  P4 Preprocessor

  OCaml

  •

  Apache License 2.0

  •4•6•0•0•Updated Jul 18, 2022Jul 18, 2022

• sigcomm21-tutorial

  Public
  Materials for SIGCOMM '21 Tutorial on Verification

  Coq

  •

  MIT License

  •2•6•0•0•Updated Aug 27, 2021Aug 27, 2021

• cav21-tutorial

  Public
  Source code for CAV '21 tutorials

  P4

  •0•1•0•0•Updated Jul 21, 2021Jul 21, 2021

• poulet4

  Public archive
  Coq

  •1•1•0•0•Updated Oct 30, 2020Oct 30, 2020

• MicroP4

  Public
  μP4: A framework for programming dataplane of network devices

  C++

  •

  Apache License 2.0

  •6•30•0•0•Updated Aug 4, 2020Aug 4, 2020

• p4check

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

  OCaml

  •0•7•1•0•Updated Nov 20, 2019Nov 20, 2019

• onos

  Public
  Open Network Operating System

  Java

  •

  Apache License 2.0

  •763•0•0•0•Updated Apr 10, 2019Apr 10, 2019