BGP Policy Verification
☆26Aug 22, 2016Updated 9 years ago
Alternatives and similar repositories for bagpipe
Users that are interested in bagpipe are comparing it to the libraries listed below
Sorting:
- Tools for quantifying error in RTT-based trilateration/geolocation techniques☆20Nov 10, 2018Updated 7 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- ☆12Jul 6, 2018Updated 7 years ago
- ☆12Oct 20, 2015Updated 10 years ago
- Lookup and load installed OCaml modules☆17Jul 29, 2025Updated 7 months ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 8 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Attempts to determine the configuration, behavior, and type of a remote MQTT broker☆16Mar 26, 2019Updated 6 years ago
- cli network-location manager for OpenBSD☆22Oct 9, 2018Updated 7 years ago
- A description of Functional Programming projects☆21Jun 23, 2017Updated 8 years ago
- Packer plugin for building images with OpenBSD VMM☆25May 6, 2025Updated 10 months ago
- Author your AWS CloudFormation Custom Resources in Go.☆23Mar 2, 2017Updated 9 years ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆58Dec 24, 2021Updated 4 years ago
- An attempt at a BIRD API☆26Aug 21, 2018Updated 7 years ago
- ☆11Nov 22, 2024Updated last year
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- Ansible role for managing IPMI LAN settings with ipmitool.☆28Dec 6, 2019Updated 6 years ago
- Birdseye Bird Looking Glass☆27May 22, 2017Updated 8 years ago
- lispers.net code for the world's most feature-rich implementation of the Locator/ID Separation Protocol (LISP)☆38Feb 25, 2026Updated last week
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- PL2303(HX) kernel-extension for OSX.☆67Mar 11, 2021Updated 4 years ago
- BGP Filter Guide☆75Aug 27, 2025Updated 6 months ago
- A superoptimizing compiler for packet-processing☆30Jun 16, 2023Updated 2 years ago
- Formal Topology in Univalent Foundations (WIP).☆37Jul 29, 2022Updated 3 years ago
- Alert when users log in from new locations☆41Jun 2, 2017Updated 8 years ago
- Repository for the mijn.amsterdam.nl portal☆11Updated this week
- VALE eBPF extension module☆33Nov 6, 2019Updated 6 years ago
- A formalization of M-types in Agda☆36Mar 7, 2020Updated 5 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆41Sep 18, 2025Updated 5 months ago
- An open source implementation of the BFD protocol☆106May 13, 2023Updated 2 years ago
- Framework to smartly mirror git repositories☆106Sep 5, 2024Updated last year
- ☆10May 30, 2017Updated 8 years ago
- How to use OpenAI API?☆12Nov 23, 2023Updated 2 years ago
- NFSEN in Docker☆10Dec 30, 2017Updated 8 years ago
- Terraform Provider for PacketFabric Network-as-a-Service☆12Nov 27, 2024Updated last year
- A set of visualization engines.☆14Feb 25, 2026Updated last week
- A daemon exposing the OpenZWave API via Apache Thrift (and some useful tools)☆27Nov 16, 2018Updated 7 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- ☆10Feb 4, 2024Updated 2 years ago