Alternatives and similar repositories for gauntlet:

Users that are interested in gauntlet are comparing it to the libraries listed below

• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆61Updated last year
• IITH-Compilers / P4LLVM
  P4-LLVM is an LLVM based compiler for P4
  ☆43Updated 5 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆33Updated last year
• p4lang / p4-constraints
  Constraints on P4 objects enforced at runtime
  ☆14Updated this week
• kaist-ina / ns3-tlt-tcp-public
  This is an official GitHub repository for the paper, "Towards timeout-less transport in commodity datacenter networks.".
  ☆15Updated 3 years ago
• cheetahlb / cheetah-tcp-timestamp-tofino
  Implementation of Stateless and Stateful Cheetah with TCP timestamps for the Tofino P4 target
  ☆19Updated 3 years ago
• LucasMFreire / assert-p4
  ☆13Updated 6 years ago
• qiaokang92 / poise
  Poise source code repo
  ☆12Updated 4 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• harvard-cns / cheetah-release
  Cheetah is a system that optimizes queries using programmable switches.
  ☆19Updated 4 years ago
• dslab-epfl / pix
  Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
  ☆17Updated 2 years ago
• eniac / Speedlight
  Source code for Speedlight, a system for Synchronized Network Snapshots
  ☆10Updated 4 years ago
• Morpheus-compiler / Morpheus
  Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22
  ☆34Updated 10 months ago
• p4lang / p4-dpdk-target
  P4 driver SW for P4 DPDK target.
  ☆58Updated 2 weeks ago
• crazyboycjr / nethint
  The prototype for NSDI paper "NetHint: White-Box Networking for Multi-Tenant Data Centers"
  ☆26Updated last year
• Kaiyuan-Zhang / Gallium-public
  ☆22Updated 3 years ago
• ants-xjtu / rubik
  ☆15Updated last year
• netx-repo / RackSched
  RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers
  ☆22Updated 4 years ago
• rg0now / prog_dataplane_reading_list
  The Programmable Data Plane: Reading List
  ☆49Updated 4 years ago
• daehyeok-kim / redplane-public
  ☆20Updated 3 years ago
• PrincetonUniversity / lucid
  ☆40Updated 2 months ago
• 824728350 / Clara
  ☆16Updated 3 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆79Updated 7 months ago
• hamidgh09 / Reframer
  A Network Function (NF) that re-orders packets per flow by buffering packets for a given time.
  ☆23Updated 2 years ago
• kframework / p4-semantics
  Formal Semantics of P4 in K
  ☆20Updated 3 years ago
• packet-transactions / domino-compiler
  The Domino compiler to run packet programs on pipelined switches
  ☆29Updated 3 years ago
• alex1230608 / Bedrock
  ☆27Updated 3 years ago
• anirudhSK / drmt
  ☆14Updated 7 years ago
• host-bench / husky
  Benchmark Suite for RDMA Performance Isolation
  ☆37Updated last year
• DINT-NSDI24 / DINT
  [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF
  ☆41Updated 7 months ago