Automatic Test generator and Differential Tester for DNS Nameserver implementations
☆35Sep 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:
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- Fuzzing tool for DNS Full-Service-Resolvers.☆12Sep 15, 2025Updated 6 months ago
- Static verification tool for DNS zone files☆81Jan 8, 2023Updated 3 years ago
- ☆18Apr 20, 2021Updated 4 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆11May 30, 2023Updated 2 years ago
- DNS test harness☆50Jan 2, 2026Updated 2 months ago
- Managed collective communication service☆23Sep 2, 2024Updated last year
- etcd + exabgp☆28Jun 9, 2014Updated 11 years ago
- ☆10Oct 16, 2024Updated last year
- golang UDP and TCP traceroute☆16Apr 21, 2021Updated 4 years ago
- CS61A Ants Project Web GUI☆11Nov 2, 2016Updated 9 years ago
- Moved to https://codeberg.org/DNS-OARC/bad-packets☆19Feb 4, 2026Updated last month
- BGP Policy Verification☆26Aug 22, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tools for quantifying error in RTT-based trilateration/geolocation techniques☆20Nov 10, 2018Updated 7 years ago
- emfnoc network utilities and configuration☆18Jul 18, 2025Updated 8 months ago
- ☆11May 22, 2023Updated 2 years ago
- NetCov: test coverage for network configurations☆41Apr 26, 2023Updated 2 years ago
- Zen is a constraint solving library for .NET☆145Jan 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
- Daemon used to discipline the Atomic Reference Time Card from Orolia☆23Oct 1, 2025Updated 5 months ago
- XDP for Water Torture Attack Mitigation within Authoritative DNS Servers☆16Jun 30, 2020Updated 5 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆13Jun 20, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DNSDB query scripts☆75Jan 23, 2020Updated 6 years ago
- GitHub API Data Gatherer, Supports multi-token rotation, deep fetching, field filtering, and linked requests. Built as a proxy to the off…☆13Jan 5, 2024Updated 2 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- Crate CI: Documentation☆12Oct 13, 2018Updated 7 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 4 years ago
- Various P4 tools, programs and scripts to allow developers try the P4 experimental features in ONOS☆14Jul 19, 2018Updated 7 years ago
- Implementing a semi supervised learning algorithm using SVM as base classifier☆10Apr 6, 2013Updated 12 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Mar 4, 2026Updated 3 weeks ago
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 10 years ago
- ☆24Oct 23, 2019Updated 6 years ago
- ☆15Apr 25, 2017Updated 8 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
- a daemon to monitor and administer servers in a LVS cluster of load balanced virtual servers☆28Feb 9, 2022Updated 4 years ago