Alternatives and similar repositories for merlin

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

• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆33Updated 3 years ago
• USC-NSL / miniNExT
  An extension layer that makes it easier to build complex networks in Mininet
  ☆44Updated 8 years ago
• open-nfpsw / p4c_firewall
  ☆23Updated 7 years ago
• harvard-cns / opensketch
  simulation and netfpga code
  ☆33Updated 12 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆34Updated 2 years ago
• p4lang / p4-hlir
  ☆32Updated 6 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆40Updated 6 years ago
• sdn-ixp / sdx-pyretic
  The Software-Enabled IXP (SDX) platform
  ☆40Updated 10 years ago
• mininet / oflops
  Mirror of oflops (cbench) from git://gitosis.stanford.edu/oflops.git
  ☆31Updated 2 years ago
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆27Updated 7 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
• MaxiNet / MaxiNet
  MaxiNet extends the famous Mininet emulation environment to span the emulation across several physical machines. This allows to emulate v…
  ☆91Updated 4 years ago
• rabeckett / propane
  ☆80Updated 7 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
• hesingh / p4-info
  ☆12Updated 4 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆80Updated last week
• p4lang / p4app
  ☆113Updated 3 years ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆70Updated 3 years ago
• harvard-cns / FlowRadar-P4
  ☆25Updated 9 years ago
• sdn-ixp / iSDX
  Industrial Scale Software Defined IXPs (iSDX)
  ☆44Updated 7 years ago
• p4lang / p4-constraints
  Constraints on P4 objects enforced at runtime
  ☆17Updated this week
• p4lang / papers
  Repository for papers related to P4
  ☆37Updated 8 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 4 years ago
• googleinterns / p4-symbolic
  ☆12Updated 4 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated 2 months ago
• NUS-SNL / p4-traffictool
  p4-traffictool helps in packet generation, parsing and dissection for popular backends
  ☆40Updated 4 years ago
• rg0now / prog_dataplane_reading_list
  The Programmable Data Plane: Reading List
  ☆51Updated 4 years ago
• vibhaa / hashpipe
  Heavy hitter detection algorithm that is entirely in the dataplane
  ☆25Updated 6 years ago