GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ nsg-ethz
4 open source projects by nsg-ethz
[ Open user page on Github ]
1.
P4 Learning
Compilation of P4 exercises, examples, documentation, slides for learning or teaching
✭ 190
networking
teaching
2.
synet-plus
Practical Network-Wide Configuration Synthesis with Autocompletion
✭ 24
python
shell
3.
mini internet project
The official repository of the mini-Internet exercise.
✭ 126
shell
python
perl
Dockerfile
HTML
go
4.
netdice
A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
✭ 28
python
networking
verification
networks
network-analysis
probabilistic-modeling
probabilistic-inference
1-4
of
4
user projects