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.
  ☆34Updated 4 years ago
• rabeckett / propane
  ☆80Updated 7 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆40Updated last week
• 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
• sdn-ixp / iSDX
  Industrial Scale Software Defined IXPs (iSDX)
  ☆44Updated 7 years ago
• p4lang / papers
  Repository for papers related to P4
  ☆37Updated 8 years ago
• p4lang / p4-hlir
  ☆32Updated 7 years ago
• frenetic-lang / frenetic
  The Frenetic Programming Language and Runtime System
  ☆227Updated last year
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• hesingh / p4-info
  ☆13Updated 4 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• open-nfpsw / p4c_firewall
  ☆23Updated 8 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆81Updated 3 months ago
• p4lang / ntf
  Network Test Framework
  ☆37Updated 6 years ago
• p4lang / p4app
  ☆113Updated 3 years ago
• kframework / p4-semantics
  Formal Semantics of P4 in K
  ☆20Updated 4 years ago
• eastzone / atpg
  Automatic Test Packet Generation
  ☆45Updated 10 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• p4lang / p4factory
  Compile P4 and run the P4 behavioral simulator
  ☆173Updated 7 years ago
• P4-vSwitch / vagrant
  PISCES Simulation Environment
  ☆29Updated 3 years ago
• harvard-cns / FlowRadar-P4
  ☆25Updated 9 years ago
• vibhaa / hashpipe
  Heavy hitter detection algorithm that is entirely in the dataplane
  ☆25Updated 6 years ago
• GaloisInc / ddosflowgen
  Simulate DDoS attacks and generate traffic datasets
  ☆51Updated 8 years ago
• blp / ovs-reviews
  Patch series that I have posted for review on ovs-dev
  ☆34Updated 4 years ago
• CiscoDevNet / iOAM
  ☆28Updated 4 years ago
• CAIDA / bgp-hackathon
  ☆25Updated 9 years ago
• pins / tutorials
  Set of tutorials that use PINS
  ☆25Updated 2 years ago
• andriymoroz / IES
  Intel Ethernet Switch (IES) software
  ☆11Updated 9 years ago