Alternatives and similar repositories for merlin

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

• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆40Updated 6 years ago
• USC-NSL / miniNExT
  An extension layer that makes it easier to build complex networks in Mininet
  ☆44Updated 8 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
  ☆80Updated 7 years ago
• p4lang / papers
  Repository for papers related to P4
  ☆37Updated 8 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆81Updated 2 months ago
• hesingh / p4-info
  ☆13Updated 4 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆34Updated 4 years ago
• kframework / p4-semantics
  Formal Semantics of P4 in K
  ☆20Updated 4 years ago
• p4lang / p4-hlir
  ☆32Updated 6 years ago
• HyperVDP / HyperV
  HyperV: High-Performance Virtualization of the Programmable Data Plane
  ☆12Updated 7 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• sdn-ixp / iSDX
  Industrial Scale Software Defined IXPs (iSDX)
  ☆44Updated 7 years ago
• osrg / libsai
  ☆12Updated 9 years ago
• p4lang / p4factory
  Compile P4 and run the P4 behavioral simulator
  ☆173Updated 7 years ago
• usi-systems / p4benchmark
  ☆15Updated 8 years ago
• Team-P4RROT / P4RROT
  Generating P4 Code for the Application Layer
  ☆13Updated last year
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• mininet / oflops
  Mirror of oflops (cbench) from git://gitosis.stanford.edu/oflops.git
  ☆31Updated 2 years ago
• MaxiNet / MaxiNet
  MaxiNet extends the famous Mininet emulation environment to span the emulation across several physical machines. This allows to emulate v…
  ☆92Updated 4 years ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆70Updated 3 years ago
• P4-vSwitch / vagrant
  PISCES Simulation Environment
  ☆29Updated 3 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆226Updated last year
• googleinterns / p4-symbolic
  ☆12Updated 5 years ago
• p4lang / p4c-bm
  Generates the JSON configuration for the behavioral-model (bmv2), as well as the C/C++ PD code
  ☆24Updated 2 years ago
• p4lang / scapy-vxlan
  A scapy clone, with support for additional packet headers
  ☆36Updated 3 years ago
• CAIDA / bgp-hackathon
  ☆25Updated 9 years ago
• progwriter / SOL
  SOL: SDN optimization layer. A framework for writing network optimization problems more easily.
  ☆22Updated 5 years ago
• NetFPGA / OSNT-Public
  Public Wiki for OSNT
  ☆57Updated 8 years ago