Alternatives and similar repositories for merlin

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

• USC-NSL / miniNExT
  An extension layer that makes it easier to build complex networks in Mininet
  ☆44Updated 8 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆36Updated 4 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆84Updated 7 months ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆41Updated 4 months ago
• hesingh / p4-info
  ☆13Updated 4 years ago
• andriymoroz / IES
  Intel Ethernet Switch (IES) software
  ☆12Updated 9 years ago
• p4lang / papers
  Repository for papers related to P4
  ☆37Updated 8 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆228Updated 2 years ago
• sdn-ixp / iSDX
  Industrial Scale Software Defined IXPs (iSDX)
  ☆44Updated 8 years ago
• p4lang / p4-hlir
  ☆32Updated 7 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• googleinterns / p4-symbolic
  ☆12Updated 5 years ago
• cablelabs / transparent-security
  Transparent Security is a solution for identify the source devices of a DDoS attack and mitigates the attack in the customer premises or …
  ☆34Updated 2 years ago
• rabeckett / propane
  ☆81Updated 7 years ago
• p4lang / p4factory
  Compile P4 and run the P4 behavioral simulator
  ☆173Updated 8 years ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆71Updated 3 years ago
• telefonicaid / netphony-topology
  BGP-LS Speaker and Traffic Engineering Database. Restconf API to get the topology.
  ☆35Updated 2 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• eth-sri / bayonet
  Probabilistic Computer Network Analysis
  ☆20Updated 7 years ago
• Team-P4RROT / P4RROT
  Generating P4 Code for the Application Layer
  ☆15Updated 2 years ago
• sdn-ixp / sdx-pyretic
  The Software-Enabled IXP (SDX) platform
  ☆40Updated 10 years ago
• NetFPGA / OSNT-Public
  Public Wiki for OSNT
  ☆57Updated 8 years ago
• cucl-srg / P4DNS
  P4DNS: In-Network DNS, EuroP4 2019
  ☆27Updated 6 years ago
• stolsma / go-p4pack
  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. …
  ☆18Updated 2 years ago
• alex1230608 / contra
  ☆25Updated 4 years ago
• bisdn / basebox
  A tiny OpenFlow controller for OF-DPA switches.
  ☆49Updated last week
• open-nfpsw / p4c_firewall
  ☆23Updated 8 years ago
• pins / SONiC
  Landing page for Software for Open Networking in the Cloud (SONiC) - http://azure.github.io/SONiC/
  ☆13Updated last week
• P4ELTE / t4p4s
  Retargetable compiler for the P4 language
  ☆123Updated 6 months ago
• harvard-cns / FlowRadar-P4
  ☆25Updated 9 years ago