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
- ☆18Apr 20, 2021Updated 5 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- ☆11May 30, 2023Updated 2 years ago
- Managed collective communication service☆24Sep 2, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 3 years ago
- Example programs fot the Journeying into XDP blogs☆51Apr 4, 2023Updated 3 years ago
- Save information about your GitHub starred repos into Google Sheets, Zinc, and SQLite!☆13Mar 19, 2026Updated 2 months ago
- golang UDP and TCP traceroute☆15Apr 21, 2021Updated 5 years ago
- BGP Policy Verification☆26Aug 22, 2016Updated 9 years ago
- Tiny cross-platform terminal color library☆11Feb 27, 2026Updated 3 months ago
- Tools for quantifying error in RTT-based trilateration/geolocation techniques☆20Nov 10, 2018Updated 7 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- emfnoc network utilities and configuration☆18Jul 18, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- NetCov: test coverage for network configurations☆42Apr 26, 2023Updated 3 years ago
- Zen is a constraint solving library for .NET☆146Jan 8, 2024Updated 2 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
- 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☆23May 4, 2026Updated 3 weeks ago
- The original Protocol-oblivious Forwarding (POF) switch by Huawei☆10Sep 1, 2016Updated 9 years 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
- DNSDB query scripts☆75Jan 23, 2020Updated 6 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.
- [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
- Simple script to use md5sum inline within `curl <url> | sh -`☆17Dec 20, 2021Updated 4 years ago
- State-based Network AttacK Explorer (SNAKE) code☆14Sep 6, 2019Updated 6 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
- Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆24Nov 21, 2024Updated last year
- Various P4 tools, programs and scripts to allow developers try the P4 experimental features in ONOS☆14Jul 19, 2018Updated 7 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 9 months ago
- ☆18Dec 16, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- 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☆27Feb 9, 2022Updated 4 years ago
- Small, fast, and correct L2/L3/L4 packet parser.☆69Mar 4, 2026Updated 2 months ago
- 基于laravel5.3开发的LiRecord留言板系统，包含基本的留言添加，楼层回复，用户管理，SEO设置等功能☆21Mar 16, 2018Updated 8 years ago