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
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆19Aug 9, 2021Updated 4 years ago
- ☆11May 30, 2023Updated 2 years ago
- DNS test harness☆51Mar 26, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Managed collective communication service☆24Sep 2, 2024Updated last year
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 3 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆56Aug 30, 2023Updated 2 years ago
- Example programs fot the Journeying into XDP blogs☆51Apr 4, 2023Updated 3 years ago
- 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
- BGP Policy Verification☆26Aug 22, 2016Updated 9 years ago
- 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.
- 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 8 months ago
- ☆27Jun 29, 2023Updated 2 years ago
- Code and datasets for the salesforce AI research paper on prompt leakage and multi-turn threats against LLMs☆22Nov 10, 2025Updated 5 months ago
- NetCov: test coverage for network configurations☆41Apr 26, 2023Updated 2 years ago
- TokenSim is a tool for simulating the behavior of large language models (LLMs) in a distributed environment.☆22Sep 20, 2025Updated 6 months ago
- ☆17Apr 22, 2025Updated 11 months 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- experiments for IJON☆12Jul 1, 2019Updated 6 years ago
- Daemon used to discipline the Atomic Reference Time Card from Orolia☆23Apr 6, 2026Updated last week
- Data Poisoning in Deep Learning: A Survey☆22Jan 18, 2026Updated 2 months ago
- ☆11Oct 10, 2023Updated 2 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
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆11Oct 18, 2022Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Oct 28, 2020Updated 5 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
- 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
- prebuild angr wheels for Windows on x86_64☆15Jul 21, 2018Updated 7 years ago