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 7 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆31Updated 3 years ago
• rabeckett / propane
  ☆78Updated 6 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆37Updated 6 years ago
• vmware-archive / nerpa
  Network Programming with Relational and Procedural Abstractions (NERPA)
  ☆32Updated last year
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆79Updated 7 months ago
• MaxiNet / MaxiNet
  MaxiNet extends the famous Mininet emulation environment to span the emulation across several physical machines. This allows to emulate v…
  ☆90Updated 4 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆33Updated 2 years ago
• mininet / oflops
  Mirror of oflops (cbench) from git://gitosis.stanford.edu/oflops.git
  ☆31Updated last year
• progwriter / SOL
  SOL: SDN optimization layer. A framework for writing network optimization problems more easily.
  ☆22Updated 5 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 3 years ago
• p4lang / p4app
  ☆112Updated 2 years ago
• p4lang / p4-hlir
  ☆32Updated 6 years ago
• open-nfpsw / p4c_firewall
  ☆24Updated 7 years ago
• sdn-ixp / sdx-pyretic
  The Software-Enabled IXP (SDX) platform
  ☆40Updated 9 years ago
• tnelson / FlowLog
  ☆17Updated 9 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆224Updated last year
• pins / tutorials
  Set of tutorials that use PINS
  ☆25Updated 2 years ago
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆27Updated 7 years ago
• racheesingh / cloud-te-tutorial
  ☆14Updated last year
• netgroup / SDN-TE-SR
  SDN based Traffic Engineering and Segment Routing
  ☆14Updated 9 years ago
• vibhaa / hashpipe
  Heavy hitter detection algorithm that is entirely in the dataplane
  ☆25Updated 6 years ago
• harvard-cns / opensketch
  simulation and netfpga code
  ☆33Updated 11 years ago
• GaloisInc / ddosflowgen
  Simulate DDoS attacks and generate traffic datasets
  ☆51Updated 7 years ago
• cnp3 / ipmininet
  Mininet extension to make experimenting with IP networks easy
  ☆66Updated 2 years ago
• flowgrammable / flowsim
  Visualization of OpenFlow Data-plane Abstractions
  ☆31Updated 7 years ago
• p4lang / p4-constraints
  Constraints on P4 objects enforced at runtime
  ☆14Updated last week
• littlepretty / VirtualTimeForMininet
  SOSR 2015 VT-Mininet
  ☆15Updated 9 years ago
• p4lang / tdi
  Table-Driven Interface (TDI) for a P4-programmable backend device.
  ☆40Updated 3 weeks ago