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:
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆20Aug 9, 2021Updated 5 years ago
- Static verification tool for DNS zone files☆83Jan 8, 2023Updated 3 years ago
- etcd + exabgp☆28Jun 9, 2014Updated 12 years ago
- DNS test harness☆56Jun 25, 2026Updated 2 months ago
- ☆11May 30, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Managed collective communication service☆24Sep 2, 2024Updated 2 years ago
- Predicated LL (recursive descent) parser in pure rust☆22Apr 11, 2026Updated 5 months ago
- A Framework for Modeling and Analyzing Network Configurations☆36Feb 20, 2023Updated 3 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆59Aug 30, 2023Updated 3 years ago
- golang UDP and TCP traceroute☆16Apr 21, 2021Updated 5 years ago
- ☆26Jun 29, 2023Updated 3 years ago
- BGP Policy Verification☆26Aug 22, 2016Updated 10 years ago
- Moved to https://codeberg.org/DNS-OARC/bad-packets☆20Feb 4, 2026Updated 7 months ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- NetCov: test coverage for network configurations☆42Apr 26, 2023Updated 3 years ago
- The python client of 360 Netlab whois database☆14Dec 5, 2018Updated 7 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
- The original Protocol-oblivious Forwarding (POF) switch by Huawei☆10Sep 1, 2016Updated 10 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆14Jun 20, 2024Updated 2 years ago
- Daemon used to discipline the Atomic Reference Time Card from Orolia☆23Jun 23, 2026Updated 3 months ago
- Open-source project to monitor IPs & domains against 60+ blacklists, AbuseIPDB, DNS, SSL, DMARC, and more. Self-hosted, no vendor lock-in…☆53Jun 23, 2026Updated 3 months ago
- [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
- 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.
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆25Nov 21, 2024Updated last year
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 11 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆27Mar 12, 2026Updated 6 months ago
- An asynchronous UDP socket that supports timestamping☆15Sep 14, 2026Updated last week
- 基于laravel5.3开发的LiRecord留 言板系统，包含基本的留言添加，楼层回复，用户管理，SEO设置等功能☆21Mar 16, 2018Updated 8 years ago
- A tool to fingerprint DNS resolver software.☆16Mar 16, 2026Updated 6 months ago
- Rust procedural macro attribute to enable target features at runtime☆14Dec 22, 2017Updated 8 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.
- ios游戏APP评论爬虫。crawl app comments on amazon && appannie.☆12Apr 6, 2016Updated 10 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- BGP performance analysis☆46Sep 15, 2026Updated last week
- a DNS performance and functional testing utility supporting UDP, TCP, DoT and DoH☆332Jun 16, 2026Updated 3 months ago
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆14Aug 22, 2022Updated 4 years ago
- Small, fast, and correct L2/L3/L4 packet parser.☆70Aug 4, 2026Updated last month
- ☆47Sep 5, 2026Updated 2 weeks ago