rabeckett / propane

Related projects ⓘ

Alternatives and complementary repositories for propane

• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆76Updated 2 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆36Updated 5 years ago
• konne88 / bagpipe
  BGP Policy Verification
  ☆25Updated 8 years ago
• CumulusNetworks / ptm
  Prescriptive Topology Daemon
  ☆82Updated 6 years ago
• Fibbing / FibbingNode
  The Fibbing controller code
  ☆23Updated 6 years ago
• FRRouting / topotests
  Moved to frrouting/frr
  ☆22Updated 5 years ago
• fujita / misc
  ☆18Updated 8 months ago
• dns-groot / groot
  Static verification tool for DNS zone files
  ☆79Updated last year
• sdn-ixp / iSDX
  Industrial Scale Software Defined IXPs (iSDX)
  ☆44Updated 7 years ago
• Juniper / yangc
  YANG Compiler for JUNOS
  ☆12Updated 6 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆15Updated 3 years ago
• kvogt / kyro
  BGP route optimizer
  ☆62Updated 13 years ago
• USC-NSL / miniNExT
  An extension layer that makes it easier to build complex networks in Mininet
  ☆44Updated 7 years ago
• sysml / clickos
  The Click modular router: fast modular packet processing and analysis
  ☆136Updated 2 years ago
• Orange-OpenSource / bagpipe-bgp
  **** Now moved to openstack/networking-bagpipe (but still usable standalone without other openstack components) ****
  ☆88Updated 7 years ago
• Gandi / ktrill
  DEPRECATED - TRILL implementation in the Linux Kernel (obsolete and unmaintained)
  ☆23Updated 9 years ago
• DE-CIX / bgperf
  ☆13Updated 7 years ago
• DE-CIX / pbgp-parser
  PCAP BGP Parser
  ☆85Updated 3 years ago
• osrg / bgperf
  ☆87Updated 6 years ago
• yasuhironet / bgpdump2
  Bgpdump2: A Tool to Read and Compare the BGP RIB Dump Files.
  ☆44Updated 11 months ago
• efficient / cuckooswitch
  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
• LNST-project / lnst
  Linux Network Stack Test
  ☆74Updated last week
• mwiget / vmxdocker
  Run Juniper Networks vMX in a Docker Container
  ☆45Updated 6 years ago
• Juniper / JP4Agent
  Juniper's P4 Runtime server implementation.
  ☆18Updated 6 years ago
• segment-routing / srn
  Software Resolved Networks with DNS and SRv6
  ☆12Updated 2 years ago
• scaleway / natasha
  Natasha is a fast and scalable, DPDK powered, stateless NAT44 packet processor
  ☆137Updated 3 years ago
• opennetworklinux / ONL
  Please visit the Open Compute Project repository
  ☆123Updated 6 years ago