Probabilistic Computer Network Analysis
☆20Dec 8, 2018Updated 7 years ago
Alternatives and similar repositories for bayonet
Users that are interested in bayonet are comparing it to the libraries listed below
Sorting:
- HyperV: High-Performance Virtualization of the Programmable Data Plane☆12Oct 22, 2017Updated 8 years ago
- ☆16Oct 26, 2020Updated 5 years ago
- Formal Semantics of P4 in K☆20May 21, 2021Updated 4 years ago
- Firmware Reversing Repo :p☆17Oct 11, 2015Updated 10 years ago
- An eDSL for MirageOS apps☆20Jul 30, 2018Updated 7 years ago
- Set of tutorials that use PINS☆25Oct 31, 2022Updated 3 years ago
- BGP Route Leaks Detection☆71Dec 7, 2018Updated 7 years ago
- ☆27Apr 20, 2021Updated 4 years ago
- Project for Alike Backup, a BDR solution for XenServer, XCP-ng, and Hyper-V virtualization platforms☆12Sep 18, 2024Updated last year
- A superoptimizing compiler for packet-processing☆30Jun 16, 2023Updated 2 years ago
- Microsoft DevBox Demos☆10Updated this week
- CVE-2014-0160 (Heartbeat Buffer over-read bug)☆15May 3, 2014Updated 11 years ago
- Petr4: Formal Semantics for P4☆84Jun 18, 2025Updated 8 months ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆41Sep 18, 2025Updated 5 months ago
- Finding bugs in P4 compilers using translation validation.☆39Nov 4, 2025Updated 4 months ago
- ☆10Aug 20, 2018Updated 7 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated 2 years ago
- OpenVPN Install Script☆13Dec 31, 2022Updated 3 years ago
- ZFS over iSCSI on FreeNAS 9.3 (API) from Proxmox☆13Aug 9, 2023Updated 2 years ago
- Find your router's default password☆14Apr 7, 2015Updated 10 years ago
- Vendont is a Venmo transaction finder/scraper. It uses Venmo's own public API system to fetch all transactions at a given time.☆10Jun 16, 2019Updated 6 years ago
- MiHome is an open source environmental sensor. It was designed to provide students and researchers a cheap and reliable data platform. Us…☆10Feb 25, 2023Updated 3 years ago
- Bash script to setup development environment for AWS under WSL2 for Windows 10 using Ubuntu 20-04. aws-cli, aws-cdk, SSH for git, AWS uti…☆11Jun 24, 2021Updated 4 years ago
- A bunch of mostly unrelated tools and code samples that may help the Cognos administrator, modeler, or report developer.☆12Aug 14, 2024Updated last year
- An interactive textbook to learn computer graphics using WebGL.☆10Mar 24, 2018Updated 7 years ago
- PowerShell clients for the Canvas LMS APIs☆13May 24, 2021Updated 4 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- A proof of concept for Joomla's CVE-2015-8562 vulnerability (Object Injection RCE)☆10May 3, 2024Updated last year
- ☆10May 30, 2017Updated 8 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- The P4 version of the Zodiac FX firmware☆10Jul 25, 2019Updated 6 years ago
- ☆12Oct 12, 2013Updated 12 years ago
- Class to help with adding logging function in smali output from 3rd party Android apps.☆10May 20, 2014Updated 11 years ago
- Python Code that has a simple interface, for using the Canvas LMS API. In addition, there is a class that downloads data from a specific …☆11May 13, 2016Updated 9 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- ☆12Nov 8, 2024Updated last year
- build system to cross-compile cydia packages for cydia.radare.org☆10Aug 23, 2019Updated 6 years ago
- Discrete signal processing tool for side chanel data leakage attacks and analysis. Air-gapped keylogger PoC.☆11Oct 31, 2023Updated 2 years ago
- A way to run both Chrome OS and Arch Linux simultaneously on a Samsung Chromebook☆14Aug 2, 2012Updated 13 years ago