CrackedPoly's starred repositories
min-sized-rust
🦀 How to minimize Rust binary size 📦
curl-impersonate
curl-impersonate: A special build of curl that can impersonate Chrome & Firefox
bpf-developer-tutorial
eBPF Developer Tutorial: Learning eBPF Step by Step with Examples
batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
message-io
Fast and easy-to-use event-driven network library.
homebrew-macos-cross-toolchains
macOS cross compiler toolchains
Tutorial-on-PhD-Application
Tutorial on PhD Application
Cisco-Images-for-GNS3-and-EVE-NG
Free Images for EVE-NG and GNS3 containing routers, switches,Firewalls and other appliances, including Cisco, Fortigate, Palo Alto, Sophos and more. Master the art of networking and improve your skills!, our repository provides a one-stop solution for a comprehensive hands-on experience.
p4-learning
Compilation of P4 exercises, examples, documentation, slides for learning or teaching
cargo-profiler
Cargo subcommand to profile binaries
6.824-golabs-2020
MIT 6.824 2020
p4-projects
P4 codes for research projects
ltl-visualizer
An interactive visualizer for linear temporal logic (LTL)
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.