Alternatives and similar repositories for propane

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

• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆40Updated 6 years ago
• dns-groot / groot
  Static verification tool for DNS zone files
  ☆79Updated 2 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• sdn-ixp / iSDX
  Industrial Scale Software Defined IXPs (iSDX)
  ☆44Updated 7 years ago
• USC-NSL / miniNExT
  An extension layer that makes it easier to build complex networks in Mininet
  ☆44Updated 8 years ago
• segment-routing / srn
  Software Resolved Networks with DNS and SRv6
  ☆12Updated 3 years ago
• konne88 / bagpipe
  BGP Policy Verification
  ☆25Updated 8 years ago
• CumulusNetworks / ptm
  Prescriptive Topology Daemon
  ☆83Updated 7 years ago
• outscale / packetgraph
  Packetgraph library is a collection of network bricks you can connect to form a network graph.
  ☆83Updated 2 years ago
• DE-CIX / pbgp-parser
  PCAP BGP Parser
  ☆85Updated 3 years ago
• CiscoDevNet / iOAM
  ☆28Updated 4 years ago
• scaleway / natasha
  Natasha is a fast and scalable, DPDK powered, stateless NAT44 packet processor
  ☆139Updated 4 years ago
• Fibbing / FibbingNode
  The Fibbing controller code
  ☆23Updated 7 years ago
• yasuhironet / bgpdump2
  Bgpdump2: A Tool to Read and Compare the BGP RIB Dump Files.
  ☆43Updated last year
• p4lang / p4-hlir
  ☆32Updated 6 years ago
• fbsamples / OpenNetNorad
  Sample system to manage Uping and Upong (UdpPinger) instances, used to measure / graph network latency and loss on Linux
  ☆39Updated 7 years ago
• kvogt / kyro
  BGP route optimizer
  ☆64Updated 14 years ago
• p4lang / ntf
  Network Test Framework
  ☆37Updated 6 years ago
• sdn-ixp / sdx-pyretic
  The Software-Enabled IXP (SDX) platform
  ☆40Updated 10 years ago
• DE-CIX / bgperf
  ☆13Updated 7 years ago
• merlin-lang / merlin
  The Merlin Network Management System
  ☆22Updated 7 years ago
• dbarrosop / awesome-networking-papers-presos
  Awesome papers and presentations related to networking
  ☆32Updated 5 years ago
• osrg / bgperf
  ☆88Updated 6 years ago
• crazed / bgpcommander
  etcd + exabgp
  ☆28Updated 11 years ago
• open-nfpsw / NetPaxos
  ☆11Updated 8 years ago
• p4lang / scapy-vxlan
  A scapy clone, with support for additional packet headers
  ☆36Updated 3 years ago
• zeek / packet-bricks
  A netmap-based packet layer for distributing and filtering traffic.
  ☆176Updated 9 years ago
• UofG-netlab / BPFabric
  BPFabric implementations. Details about this work are available in the research paper "BPFabric: Data Plane Programmability for Software …
  ☆32Updated last year
• p4lang / papers
  Repository for papers related to P4
  ☆37Updated 8 years ago