Found 43 repositories(showing 30)
aojea
netcat using netstack userspace library and eBPF
Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
NetASM
NetASM is a network assembler that takes high-level SDN languages (NetKAT, P4, etc.) and maps the primitives to device-specific directives in FPGAs and various chipsets.
frenetic-lang
Starting a Coq NetKAT
NetASM
NetASM is a network assembler that takes high-level SDN languages (NetKAT, P4, etc.) and maps the primitives to device-specific directives in FPGAs and various chipsets.
rabeckett
No description available
frenetic-lang
A Coalgebraic Decision Procedure for NetKAT
stevenayers
CLI for troubleshooting kubernetes networking issues
julesjacobs
NetKAT equivalence checker
netkat-lang
The NetKAT Framework
mpmilano
build for command-line interface to verify.
netkatya
No description available
aysebeyza
MVC 5 ve Katmanlı Mimari yapısı ile temel bir Proje geliştirdik
netkat-lang
The NetKAT Language
jundymek
Skrypt katalogu stron internetowych napisany w Pythonie/Django.
juerkkil
netcat clone written in rust
fabijanski
No description available
tudang
a frenetic controller
ssomayyajula
Equivalence in NetKAT modulo specifications
Sec-R
No description available
similecat
extend netkat
texarr
No description available
bolicd
boilerplate project for net kata projects
Mazowiecki
No description available
suddenabnormalsecrets
No description available
Andrii-Klymchuk
No description available
netkatana
No description available
AntonSnotau
Recrutation task
amajal
No description available
Sebastian-Mazur
No description available