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:
- 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☆82Jan 8, 2023Updated 3 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 9 years ago
- ☆11May 30, 2023Updated 3 years ago
- Predicated LL (recursive descent) parser in pure rust☆21Apr 11, 2026Updated 4 months 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.
- A Framework for Modeling and Analyzing Network Configurations☆36Feb 20, 2023Updated 3 years ago
- Example programs fot the Journeying into XDP blogs☆50Apr 4, 2023Updated 3 years ago
- Save information about your GitHub starred repos into Google Sheets, Zinc, and SQLite!☆13Mar 19, 2026Updated 4 months ago
- XDP for Water Torture Attack Mitigation within Authoritative DNS Servers☆16Jun 30, 2020Updated 6 years ago
- Moved to https://codeberg.org/DNS-OARC/bad-packets☆20Feb 4, 2026Updated 6 months ago
- NetCov: test coverage for network configurations☆42Apr 26, 2023Updated 3 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
- experiments for IJON☆12Jul 1, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 last month
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆13Oct 18, 2022Updated 3 years ago
- ☆10Oct 28, 2020Updated 5 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- Simple script to use md5sum inline within `curl <url> | sh -`☆18Dec 20, 2021Updated 4 years ago
- emfnoc network utilities and configuration☆18Jul 2, 2026Updated last month
- ☆14Jul 13, 2026Updated last month
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆19Dec 16, 2024Updated last year
- The FreeBSD ICMP buffer overflow, freebsd buffer overflow poc☆10Jul 6, 2026Updated last month
- Testbed for testing recursive resolvers☆13Dec 15, 2023Updated 2 years ago
- A tool to fingerprint DNS resolver software.☆15Mar 16, 2026Updated 4 months ago
- Rust procedural macro attribute to enable target features at runtime☆14Dec 22, 2017Updated 8 years ago
- BGP performance analysis☆45Aug 8, 2026Updated last week
- a DNS performance and functional testing utility supporting UDP, TCP, DoT and DoH☆330Jun 16, 2026Updated last month
- A module of riru. Allow user block apps launch other app.☆17May 27, 2020Updated 6 years ago
- A Latex template for formatting the Yale GSAS dissertation☆21Jan 6, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code and datasets for the salesforce AI research paper on prompt leakage and multi-turn threats against LLMs☆21Jun 25, 2026Updated last month
- Configuration Example Generalizing Synthesizer☆17Jun 12, 2025Updated last year
- A differential fuzzing framework for the QUIC protocol☆20Nov 21, 2023Updated 2 years ago
- A basic python based tool for domain ℹ️ information gathering. I am working 💻 on collecting information related to domain whois, history…☆13Jan 11, 2026Updated 7 months ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 5 years ago
- A framework for automated testing of network analysis and verification tools.☆18Feb 23, 2021Updated 5 years ago
- ☆10May 30, 2017Updated 9 years ago