rabeckett / propane
☆78Updated 6 years ago
Alternatives and similar repositories for propane:
Users that are interested in propane are comparing it to the libraries listed below
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Updated 3 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆37Updated 6 years ago
- BGP Policy Verification☆25Updated 8 years ago
- Industrial Scale Software Defined IXPs (iSDX)☆44Updated 7 years ago
- Static verification tool for DNS zone files☆78Updated 2 years ago
- A framework for automated testing of network analysis and verification tools.☆16Updated 3 years ago
- Packetgraph library is a collection of network bricks you can connect to form a network graph.☆83Updated last year
- An extension layer that makes it easier to build complex networks in Mininet☆44Updated 7 years ago
- Moved to frrouting/frr☆22Updated 5 years ago
- A software-based Ethernet switch design built around a memory-efficient, high-performance, and highly-concurrent hash table for compact a…☆34Updated 9 years ago
- Software Resolved Networks with DNS and SRv6☆12Updated 2 years ago
- **** Now moved to openstack/networking-bagpipe (but still usable standalone without other openstack components) ****☆88Updated 7 years ago
- ☆13Updated 7 years ago
- Natasha is a fast and scalable, DPDK powered, stateless NAT44 packet processor☆137Updated 3 years ago
- An IPv4 router over netmap for FreeBSD☆99Updated 8 years ago
- DEPRECATED - TRILL implementation in the Linux Kernel (obsolete and unmaintained)☆23Updated 9 years ago
- BPFabric implementations. Details about this work are available in the research paper "BPFabric: Data Plane Programmability for Software …☆31Updated 11 months ago
- BGP route optimizer☆63Updated 13 years ago
- Bgpdump2: A Tool to Read and Compare the BGP RIB Dump Files.☆44Updated last year
- Prescriptive Topology Daemon☆82Updated 7 years ago
- Real-time TCP latency monitoring using DPDK backend and a 3D React frontend☆195Updated 4 years ago
- The Merlin Network Management System☆21Updated 7 years ago
- Convert network filtering rules from various formats into BPF programs☆66Updated 4 years ago
- The Click modular router: fast modular packet processing and analysis☆137Updated 2 years ago
- Benchmarking implementations of pflang, the pcap filter language☆26Updated 8 years ago
- Juniper's P4 Runtime server implementation.☆18Updated 6 years ago
- [Deplicated] Now we have more sophisticated (and compact) implementation in ipftrace2 repository. Please check it as well.☆58Updated 4 years ago
- Please visit the Open Compute Project repository☆123Updated 6 years ago
- ☆87Updated 6 years ago
- Documentation on how to set up and use PNDA☆42Updated 6 years ago