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
  ☆41Updated last month
• p4lang / papers
  Repository for papers related to P4
  ☆37Updated 8 years ago
• rabeckett / propane
  ☆80Updated 7 years ago
• usi-systems / p4benchmark
  ☆16Updated 8 years ago
• USC-NSL / miniNExT
  An extension layer that makes it easier to build complex networks in Mininet
  ☆44Updated 8 years ago
• progwriter / SOL
  SOL: SDN optimization layer. A framework for writing network optimization problems more easily.
  ☆22Updated 6 years ago
• hesingh / p4-info
  ☆13Updated 4 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆35Updated 4 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
• p4lang / p4-hlir
  ☆32Updated 7 years ago
• p4lang / p4factory
  Compile P4 and run the P4 behavioral simulator
  ☆173Updated 7 years ago
• sdn-ixp / iSDX
  Industrial Scale Software Defined IXPs (iSDX)
  ☆44Updated 8 years ago
• kframework / p4-semantics
  Formal Semantics of P4 in K
  ☆20Updated 4 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆227Updated 2 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆82Updated 4 months ago
• opennetworkinglab / flowvisor
  FlowVisor - A network hypervisor
  ☆166Updated 12 years ago
• NUS-SNL / p4-traffictool
  p4-traffictool helps in packet generation, parsing and dissection for popular backends
  ☆40Updated 4 years ago
• frenetic-lang / pyretic
  The Pyretic language and runtime system
  ☆160Updated 7 years ago
• harvard-cns / FlowRadar-P4
  ☆25Updated 9 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• mininet / oflops
  Mirror of oflops (cbench) from git://gitosis.stanford.edu/oflops.git
  ☆31Updated 2 years ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆71Updated 3 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• p4lang / scapy-vxlan
  A scapy clone, with support for additional packet headers
  ☆36Updated 4 years ago
• CiscoDevNet / iOAM
  ☆28Updated 4 years ago
• sonata-nfv / son-emu
  Attention! Legacy! This repo will be replaced with https://github.com/containernet/vim-emu
  ☆36Updated 5 years ago
• nets-cs-pub-ro / Symnet
  ☆10Updated 8 years ago
• andriymoroz / IES
  Intel Ethernet Switch (IES) software
  ☆11Updated 9 years ago
• pins / tutorials
  Set of tutorials that use PINS
  ☆25Updated 3 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆17Updated 4 years ago