Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)
☆65Apr 14, 2023Updated 3 years ago
Alternatives and similar repositories for tinynf
Users that are interested in tinynf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- p4 language running on Snabb Switch (work-in-progress)☆12Feb 27, 2016Updated 10 years ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆18Jul 14, 2022Updated 3 years ago
- Various P4 tools, programs and scripts to allow developers try the P4 experimental features in ONOS☆14Jul 19, 2018Updated 7 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Jan 26, 2022Updated 4 years ago
- ☆16Oct 26, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The code runs on the netronome smart card to filtering PPPoE and PPP control plane packet send to vbras and Decap\Encap data plane packet…☆11Jun 21, 2017Updated 8 years ago
- FlowBlaze: Stateful Packet Processing in Hardware☆72Nov 16, 2022Updated 3 years ago
- The Domino compiler to run packet programs on pipelined switches☆30Aug 12, 2021Updated 4 years ago
- ☆25Jan 29, 2019Updated 7 years ago
- ☆17Oct 17, 2025Updated 7 months ago
- ☆25Jul 21, 2022Updated 3 years ago
- ☆48Apr 11, 2023Updated 3 years ago
- The Programmable Data Plane: Reading List☆52Sep 29, 2020Updated 5 years ago
- Juniper's P4 Runtime server implementation.☆18Sep 24, 2018Updated 7 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.
- This is the source code for our (Matthias Jasny, Lasse Thostrup, Tobias Ziegler and Carsten Binnig) published paper at SIGMOD’22: P4DB - …☆13Jan 24, 2023Updated 3 years ago
- Finding bugs in P4 compilers using translation validation.☆39Nov 4, 2025Updated 6 months ago
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 10 years ago
- User space agent and eBPF programs that provide INT support to end hosts☆15Jan 20, 2022Updated 4 years ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆31Oct 24, 2020Updated 5 years ago
- This repository's aim is to show how extern functions should be implemented☆14Jan 11, 2019Updated 7 years ago
- Nu is a new datacenter system that enables developers to build fungible applications that can use datacenter resources wherever they are.☆42May 14, 2024Updated 2 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆16Jan 18, 2020Updated 6 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.
- Retargetable compiler for the P4 language☆125Jul 10, 2025Updated 10 months ago
- Off-Platform Application example for ONOS Intent Monitor and Reroute service☆11Jul 23, 2019Updated 6 years ago
- ☆24Jul 8, 2024Updated last year
- Portable NIC Architecture☆60May 7, 2026Updated 2 weeks ago
- Main repository of the Vigor NF verification project.☆49Mar 6, 2021Updated 5 years ago
- C++ reference implementation for Push-In First-Out Queue☆15Aug 18, 2016Updated 9 years ago
- Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)☆22Jul 2, 2022Updated 3 years ago
- μP4: A framework for programming dataplane of network devices☆34Aug 4, 2020Updated 5 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆31Feb 4, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Table-Driven Interface (TDI) for a P4-programmable backend device.☆41Jan 27, 2025Updated last year
- DAIET performs data aggregation along network paths using programmable network devices☆33Jan 20, 2018Updated 8 years ago
- This is an official GitHub repository for the paper, "Towards timeout-less transport in commodity datacenter networks.".☆17Oct 12, 2021Updated 4 years ago
- PacketMill: Toward per-core 100-Gbps Networking☆63Feb 1, 2022Updated 4 years ago
- WIP for experimenting an opensource SR controller☆14Mar 23, 2022Updated 4 years ago
- Always wanted to write performant P4 based networking application in Go but don't know where to start? Then this is the place to get to. …☆18Feb 24, 2023Updated 3 years ago
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 4 years ago