Network Programming with Relational and Procedural Abstractions (NERPA)
☆32Apr 4, 2023Updated 3 years ago
Alternatives and similar repositories for nerpa
Users that are interested in nerpa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Programming runtime extensions for Open vSwitch with P4☆26Apr 20, 2020Updated 6 years ago
- A code generator for packet-processing pipelines based on end-to-end program synthesis☆12Jan 19, 2022Updated 4 years ago
- Normalized network traffic entropy-based DDoS detection in P4☆13May 9, 2024Updated 2 years ago
- UCAN-over-HTTP-Header Specification☆15Aug 23, 2023Updated 3 years ago
- p4 language running on Snabb Switch (work-in-progress)☆12Feb 27, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 10 years ago
- Backend for the P4 compiler targeting XDP☆170Jan 19, 2023Updated 3 years ago
- NS3 support for P4 programs using bmv2☆35Feb 20, 2019Updated 7 years ago
- The Domino compiler to run packet programs on pipelined switches☆30Aug 12, 2021Updated 5 years ago
- ☆25Jul 21, 2022Updated 4 years ago
- ☆15Aug 6, 2018Updated 8 years ago
- HyperV: High-Performance Virtualization of the Programmable Data Plane☆12Oct 22, 2017Updated 8 years ago
- Latency & packet loss measuring tool for SDN controllers☆12Sep 28, 2016Updated 9 years ago
- Terminal-based NetFlow/sFlow/IPFIX flow monitoring for OpenvSwitch☆18Jan 16, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Formal Semantics of P4 in K☆20May 21, 2021Updated 5 years ago
- Petr4: Formal Semantics for P4☆83Jun 18, 2025Updated last year
- A Framework for Modeling and Analyzing Network Configurations☆36Feb 20, 2023Updated 3 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- Constraints on P4 objects enforced at runtime☆17Jun 18, 2026Updated 2 months ago
- Semi-private RTL development upstream of OpenCPI - this is *not* the OpenCPI repo!☆25Oct 19, 2016Updated 9 years ago
- ☆29Mar 13, 2022Updated 4 years ago
- FlowBlaze: Stateful Packet Processing in Hardware☆72Jun 30, 2026Updated 2 months ago
- BB-Gen: Packet Crafter☆17Aug 2, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- ☆17Oct 17, 2025Updated 10 months ago
- SRv6 function of multi-tenant proxy by SRH caching over AF_XDP☆24Jun 17, 2019Updated 7 years ago
- High-performance eBPF implementation in hardware.☆27Apr 5, 2022Updated 4 years ago
- A high-performance SNMP v3 client library in Go.☆26Feb 3, 2016Updated 10 years ago
- ☆21Jan 31, 2026Updated 7 months ago
- An interactive Python shell for P4Runtime☆90Jul 22, 2026Updated last month
- Thread based NFVi on DPDK☆27Feb 3, 2018Updated 8 years ago
- Composable Concurrent Computation Done Right☆30Jan 3, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- ☆47Aug 23, 2026Updated last week
- Portable NIC Architecture☆61Jun 2, 2026Updated 3 months ago
- Stratum is an open source silicon-independent switch operating system for software defined networks.☆416Jul 9, 2024Updated 2 years ago
- Rust bindings for SPDK☆19Sep 12, 2017Updated 8 years ago
- Experimental rustc plugin that imports C macro constants☆10Jul 7, 2015Updated 11 years ago
- A safe-ish wrapper for allocating, reallocating and deallocating heap buffers.☆12Jul 4, 2015Updated 11 years ago