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:
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 2 years ago
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- Fuzzing tool for DNS Full-Service-Resolvers.☆12Sep 15, 2025Updated 7 months ago
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆19Aug 9, 2021Updated 4 years ago
- Static verification tool for DNS zone files☆81Jan 8, 2023Updated 3 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.
- ☆18Apr 20, 2021Updated 5 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- ☆11May 30, 2023Updated 2 years ago
- DNS test harness☆51Mar 26, 2026Updated last month
- Managed collective communication service☆24Sep 2, 2024Updated last year
- Example programs fot the Journeying into XDP blogs☆51Apr 4, 2023Updated 3 years ago
- etcd + exabgp☆28Jun 9, 2014Updated 11 years ago
- Moved to https://codeberg.org/DNS-OARC/bad-packets☆20Feb 4, 2026Updated 3 months ago
- BGP Policy Verification☆26Aug 22, 2016Updated 9 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.
- emfnoc network utilities and configuration☆18Jul 18, 2025Updated 9 months ago
- ☆27Jun 29, 2023Updated 2 years ago
- ☆10May 22, 2023Updated 2 years ago
- NetCov: test coverage for network configurations☆42Apr 26, 2023Updated 3 years ago
- TokenSim is a tool for simulating the behavior of large language models (LLMs) in a distributed environment.☆22Sep 20, 2025Updated 7 months ago
- Zen is a constraint solving library for .NET☆146Jan 8, 2024Updated 2 years ago
- FANCI is a prototype implementation of a machine learning based classification engine for non-existent domains to detect domain gernation…☆30Aug 23, 2018Updated 7 years ago
- Allows you to use a macro prefix_all to prefix every attribute in structs and enums on serialization☆12Mar 28, 2021Updated 5 years ago
- ☆18Apr 22, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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☆23Apr 6, 2026Updated last month
- Data Poisoning in Deep Learning: A Survey☆22Jan 18, 2026Updated 3 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
- Crate CI: Documentation☆12Oct 13, 2018Updated 7 years ago
- Simple script to use md5sum inline within `curl <url> | sh -`☆17Dec 20, 2021Updated 4 years ago
- Slime是一个组合众多优秀安全工具的漏扫软件，它将目光集中在安全工具的组合上，而不是自己实现漏扫的某一流程。☆17Sep 9, 2022Updated 3 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆24Nov 21, 2024Updated last year
- prebuild angr wheels for Windows on x86_64☆15Jul 21, 2018Updated 7 years ago
- Source code of ACL 2023 Main Conference Paper "PAD-Net: An Efficient Framework for Dynamic Networks".☆12Feb 28, 2026Updated 2 months ago
- ☆18Dec 16, 2024Updated last year
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆25Jun 27, 2024Updated last year
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 10 years ago
- ☆15Apr 25, 2017Updated 9 years ago