Pinned Repositories
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.
gobpf
Go bindings for creating BPF programs.
gophersat
gophersat, a SAT solver in Go
nchallak
Bio
ubpf
Userspace eBPF VM
vsgg-proposal
nchallak's Repositories
nchallak/nchallak
Bio
nchallak/gophersat
gophersat, a SAT solver in Go
nchallak/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.
nchallak/gobpf
Go bindings for creating BPF programs.
nchallak/ubpf
Userspace eBPF VM