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:
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆20Aug 9, 2021Updated 4 years ago
- Static verification tool for DNS zone files☆81Jan 8, 2023Updated 3 years ago
- ☆18Apr 20, 2021Updated 5 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆11May 30, 2023Updated 3 years ago
- DNS test harness☆52Jun 25, 2026Updated last week
- Open-source project to monitor IPs & domains against 60+ blacklists, AbuseIPDB, DNS, SSL, DMARC, and more. Self-hosted, no vendor lock-in…☆44Jun 23, 2026Updated last week
- Example programs fot the Journeying into XDP blogs☆50Apr 4, 2023Updated 3 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆58Aug 30, 2023Updated 2 years ago
- golang UDP and TCP traceroute☆16Apr 21, 2021Updated 5 years ago
- Moved to https://codeberg.org/DNS-OARC/bad-packets☆20Feb 4, 2026Updated 5 months ago
- BGP Policy Verification☆26Aug 22, 2016Updated 9 years ago
- Tools for quantifying error in RTT-based trilateration/geolocation techniques☆20Nov 10, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- emfnoc network utilities and configuration☆18Jul 18, 2025Updated 11 months ago
- ☆26Jun 29, 2023Updated 3 years ago
- 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
- 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
- The official repository for the experiments included in the paper titled "Patch-level Routing in Mixture-of-Experts is Provably Sample-ef…☆14Feb 12, 2026Updated 4 months ago
- CveBinarySheet: A Comprehensive Pre-built Binaries Database Focused on IoT Vulnerability Scenarios☆18Jan 17, 2025Updated last year
- ☆11Oct 10, 2023Updated 2 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.
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆14Jun 20, 2024Updated 2 years ago
- GitHub API Data Gatherer, Supports multi-token rotation, deep fetching, field filtering, and linked requests. Built as a proxy to the off…☆14Jan 5, 2024Updated 2 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆13Oct 18, 2022Updated 3 years ago
- ☆19Feb 25, 2024Updated 2 years ago
- Crate CI: Documentation☆12Oct 13, 2018Updated 7 years ago
- Simple script to use md5sum inline within `curl <url> | sh -`☆18Dec 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
- 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.
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 10 months ago
- ☆19Dec 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 2 years ago
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 10 years ago
- ☆15Apr 25, 2017Updated 9 years ago
- Testbed for testing recursive resolvers☆13Dec 15, 2023Updated 2 years ago
- a daemon to monitor and administer servers in a LVS cluster of load balanced virtual servers☆27Feb 9, 2022Updated 4 years ago