Automatic Test generator and Differential Tester for DNS Nameserver implementations
☆34Sep 28, 2023Updated 2 years ago
Alternatives and similar repositories for Ferret
Users that are interested in Ferret are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 2 years ago
- Static verification tool for DNS zone files☆82Jan 8, 2023Updated 3 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 9 years ago
- etcd + exabgp☆28Jun 9, 2014Updated 12 years ago
- DNS test harness☆52Jun 25, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11May 30, 2023Updated 3 years ago
- Predicated LL (recursive descent) parser in pure rust☆20Apr 11, 2026Updated 3 months ago
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 3 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆59Aug 30, 2023Updated 2 years ago
- Example programs fot the Journeying into XDP blogs☆50Apr 4, 2023Updated 3 years ago
- golang UDP and TCP traceroute☆16Apr 21, 2021Updated 5 years ago
- XDP for Water Torture Attack Mitigation within Authoritative DNS Servers☆16Jun 30, 2020Updated 6 years ago
- Moved to https://codeberg.org/DNS-OARC/bad-packets☆20Feb 4, 2026Updated 5 months ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- NetCov: test coverage for network configurations☆42Apr 26, 2023Updated 3 years ago
- Zen is a constraint solving library for .NET☆148Jan 8, 2024Updated 2 years ago
- 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. …☆18Feb 24, 2023Updated 3 years ago
- Open-source project to monitor IPs & domains against 60+ blacklists, AbuseIPDB, DNS, SSL, DMARC, and more. Self-hosted, no vendor lock-in…☆47Jun 23, 2026Updated last month
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆13Oct 18, 2022Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 5 years ago
- Crate CI: Documentation☆12Oct 13, 2018Updated 7 years ago
- ☆19Feb 25, 2024Updated 2 years ago
- State-based Network AttacK Explorer (SNAKE) code☆14Sep 6, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- Implementing a semi supervised learning algorithm using SVM as base classifier☆10Apr 6, 2013Updated 13 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 11 months ago
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 10 years ago
- ☆19Dec 16, 2024Updated last year
- ☆15Apr 25, 2017Updated 9 years ago
- Testbed for testing recursive resolvers☆13Dec 15, 2023Updated 2 years ago
- DeepMatch: Practical Deep Packet Inspection in the Data Plane using Network Processors☆15Dec 21, 2020Updated 5 years ago
- ☆19Jul 21, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Rust procedural macro attribute to enable target features at runtime☆14Dec 22, 2017Updated 8 years ago
- BGP performance analysis☆46Jun 5, 2025Updated last year
- a DNS performance and functional testing utility supporting UDP, TCP, DoT and DoH☆329Jun 16, 2026Updated last month
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆14Aug 22, 2022Updated 3 years ago
- A module of riru. Allow user block apps launch other app.☆17May 27, 2020Updated 6 years ago
- Small, fast, and correct L2/L3/L4 packet parser.☆69Mar 4, 2026Updated 4 months ago
- A network control-plane simulator☆21Jun 13, 2026Updated last month