Alternatives and similar repositories for petr4

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

• nyu-systems / gauntlet

  View on GitHub
  Finding bugs in P4 compilers using translation validation.
  ☆38Nov 4, 2025Updated 3 months ago
• kframework / p4-semantics

  View on GitHub
  Formal Semantics of P4 in K
  ☆20May 21, 2021Updated 4 years ago
• p4pktgen / p4pktgen

  View on GitHub
  Automatic test case generator for P4 programs
  ☆71Jun 27, 2022Updated 3 years ago
• dragosdmtrsc / bf4

  View on GitHub
  ☆15Apr 12, 2022Updated 3 years ago
• google / p4-pdpi

  View on GitHub
  ☆16Oct 26, 2020Updated 5 years ago
• Yi-Tseng / IntelliJ-P4-Plugin

  View on GitHub
  P4 language plugin for IntelliJ IDE
  ☆28Dec 9, 2022Updated 3 years ago
• HyperVDP / HyperV

  View on GitHub
  HyperV: High-Performance Virtualization of the Programmable Data Plane
  ☆12Oct 22, 2017Updated 8 years ago
• p4lang / p4-constraints

  View on GitHub
  Constraints on P4 objects enforced at runtime
  ☆17Oct 30, 2025Updated 3 months ago
• p4lang / tdi

  View on GitHub
  Table-Driven Interface (TDI) for a P4-programmable backend device.
  ☆41Jan 27, 2025Updated last year
• googleinterns / p4-symbolic

  View on GitHub
  ☆12Aug 29, 2020Updated 5 years ago
• byllyfish / finsy

  View on GitHub
  P4Runtime Controller Library
  ☆13Nov 20, 2025Updated 2 months ago
• eniac / Speedlight

  View on GitHub
  Source code for Speedlight, a system for Synchronized Network Snapshots
  ☆10Aug 21, 2020Updated 5 years ago
• osinstom / P4-OvS

  View on GitHub
  Bringing the power of P4 to OvS!
  ☆74Jan 26, 2021Updated 5 years ago
• p4lang / project-ideas

  View on GitHub
  Ideas for P4 Projects.
  ☆14Sep 18, 2024Updated last year
• opencord / p4se

  View on GitHub
  BNG/PPPoE P4 software
  ☆18Mar 20, 2020Updated 5 years ago
• intel / host-int

  View on GitHub
  ☆33Jan 7, 2023Updated 3 years ago
• ebiken / p4srv6

  View on GitHub
  Proto-typing SRv6 functions with P4 lang.
  ☆58Apr 1, 2023Updated 2 years ago
• esbullington / snabbp4

  View on GitHub
  p4 language running on Snabb Switch (work-in-progress)
  ☆12Feb 27, 2016Updated 9 years ago
• chipmunk-project / chipmunk

  View on GitHub
  A code generator for packet-processing pipelines based on end-to-end program synthesis
  ☆12Jan 19, 2022Updated 4 years ago
• gnikol / P4-Wireshark-Dissector

  View on GitHub
  This repository contains the Wireshark dissector generator from a P4 file input.
  ☆15Mar 24, 2017Updated 8 years ago
• P4ELTE / t4p4s

  View on GitHub
  Retargetable compiler for the P4 language
  ☆124Jul 10, 2025Updated 7 months ago
• Yi-Tseng / p4-dpdk-target-notes

  View on GitHub
  Some notes to build and run P4 DPDK target
  ☆23Aug 21, 2022Updated 3 years ago
• NetworkVerification / nv

  View on GitHub
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Feb 20, 2023Updated 2 years ago
• ebiken / nsdevnotes

  View on GitHub
  Network & Software Development Notes
  ☆17Aug 22, 2024Updated last year
• OpenState-SDN / openstate.p4

  View on GitHub
  P4 library and application examples for OpenState-like stateful forwarding
  ☆15Sep 7, 2016Updated 9 years ago
• vmware-archive / p4c-xdp

  View on GitHub
  Backend for the P4 compiler targeting XDP
  ☆171Jan 19, 2023Updated 3 years ago
• usi-systems / p4benchmark

  View on GitHub
  ☆16May 6, 2017Updated 8 years ago
• engjefersonsantiago / p4-programs

  View on GitHub
  ☆11Sep 9, 2021Updated 4 years ago
• p4lang / p4-spec

  View on GitHub
  ☆194Nov 3, 2025Updated 3 months ago
• antoninbas / p4runtime-go-client

  View on GitHub
  Go client for P4Runtime
  ☆42Apr 16, 2025Updated 9 months ago
• p4lang / ptf

  View on GitHub
  Packet Test Framework
  ☆163Nov 24, 2025Updated 2 months ago
• NIKSS-vSwitch / nikss

  View on GitHub
  Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)
  ☆48Nov 24, 2025Updated 2 months ago
• p4lang / PI

  View on GitHub
  An implementation framework for a P4Runtime server
  ☆175Dec 15, 2025Updated last month
• p4lang / pna

  View on GitHub
  Portable NIC Architecture
  ☆60Feb 15, 2024Updated last year
• p4tc-dev / linux-p4tc-pub

  View on GitHub
  ☆11Mar 8, 2025Updated 11 months ago
• cryptosense / key-parsers

  View on GitHub
  OCaml parsers for multiple key formats
  ☆15Aug 1, 2024Updated last year
• daehyeok-kim / redplane-public

  View on GitHub
  ☆20May 26, 2021Updated 4 years ago
• ygrek / ocaml-bpf

  View on GitHub
  OCaml embedded eBPF assembler
  ☆24Feb 14, 2022Updated 4 years ago
• p4lang / p4runtime-shell

  View on GitHub
  An interactive Python shell for P4Runtime
  ☆89Nov 24, 2025Updated 2 months ago