Alternatives and similar repositories for Ferret:

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

• dns-groot / groot
  Static verification tool for DNS zone files
  ☆79Updated 2 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• NIKSS-vSwitch / nikss
  Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)
  ☆48Updated 11 months ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆32Updated 3 years ago
• sonic-net / sonic-pins
  P4 Integrated Network Stack (PINS)
  ☆34Updated this week
• stolsma / go-p4pack
  Always wanted to write performant P4 based networking application in Go but don't know where to start? Then this is the place to get to. …
  ☆18Updated 2 years ago
• lambdahuang / FlashRoute
  🚀 Takes minutes to explore the topology of all routable /24 prefixes in IPv4 address space. Now supports IPv6 scan!
  ☆37Updated last year
• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆30Updated 4 years ago
• p4lang / p4-dpdk-target
  P4 driver SW for P4 DPDK target.
  ☆59Updated 2 months ago
• iVantage-NDSS23 / iVantage
  ☆14Updated last year
• rare-freertr / RARE-bmv2
  RARE for P4Lang bmv2 dataplane target
  ☆29Updated 3 months ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆12Updated 4 years ago
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• pluginized-protocols / libxbgp
  ☆11Updated last year
• uni-tue-kn / P4TG
  This repository contains the source code for P4TG, a 1 Tb/s traffic generator for Ethernet/IP networks
  ☆43Updated 2 weeks ago
• netverify / netverify.github.io
  ☆10Updated 6 months ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆34Updated 2 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆37Updated 6 years ago
• Forescout / bgp_boofuzzer
  ☆55Updated 2 months 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 last year
• programmabledataplanereview / programmabledataplanereview.github.io
  ☆27Updated last year
• open-traffic-generator / models
  Open Traffic Generator Core Models
  ☆69Updated this week
• sonic-net / sonic-platform-vpp
  ☆55Updated 3 weeks ago
• Team-P4RROT / P4RROT
  Generating P4 Code for the Application Layer
  ☆13Updated last year
• uni-tue-kn / p4-ipsec
  ☆23Updated 4 years ago
• bgpkit / bgpkit-parser
  MRT/BGP data parser written in Rust.
  ☆105Updated last month
• ipdk-io / networking-recipe
  IPDK Networking Recipe (P4 Control Plane)
  ☆38Updated 2 weeks ago
• sonic-net / DASH
  Disaggregated APIs for SONiC Hosts
  ☆92Updated this week
• p4lang / ntf
  Network Test Framework
  ☆37Updated 5 years ago
• samueljero / TCPwn
  A system for automated discovery of congestion control attacks on TCP implementations
  ☆19Updated 6 years ago