• Stars
    star
    12
  • Rank 1,566,711 (Top 32 %)
  • Language
    Racket
  • Created over 1 year ago
  • Updated over 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reducing P4 Language’s Voluminosity using Higher-Level Constructs

More Repositories

1

p4-learning

Compilation of P4 exercises, examples, documentation, slides for learning or teaching
Python
502
star
2

mini_internet_project

The official repository of the mini-Internet exercise.
Shell
173
star
3

p4-utils

Extension to Mininet that makes P4 networks easier to build
Python
169
star
4

SP-PIFO

Approximating Push-In First-Out Behaviors using Strict-Priority Queues
Java
50
star
5

ACC-Turbo

Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense
Shell
45
star
6

hijack-btc

Python
36
star
7

synet-plus

Practical Network-Wide Configuration Synthesis with Autocompletion
Python
33
star
8

netdice

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
Python
30
star
9

ditto

ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)
P4
26
star
10

synet

SyNET Network-wide Configuration Synthesis
Python
24
star
11

Blink

Blink: Fast Connectivity Recovery Entirely in the Data Plane
Python
24
star
12

config2spec

Mining Network Specifications from Network Configurations
Python
22
star
13

FANcY

FANcY: FAst In-Network GraY Failure Detection for ISPs
Python
18
star
14

Metha

A framework for automated testing of network analysis and verification tools.
Python
15
star
15

snowcap

Synthesizing Network-Wide Configuration Updates
Rust
14
star
16

Chameleon

Taming the transient while reconfiguring BGP (SIGCOMM'23)
Rust
9
star
17

tekton

A library to create networks and to generate network configurations
Python
8
star
18

swift

SWIFT: Predictive Fast Reroute
Python
8
star
19

net2text

Net2Text (NSDI'18)
Python
6
star
20

trace-get

Tool to download caida traces
Python
6
star
21

SIFT

"Is my Internet down?" Sifting through User-Affecting Outages with Google Trends
Python
4
star
22

Magnifier

Official repository for the Magnifier paper (NSDI'23)
Python
4
star
23

minigenerator

Simple udp/tcp traffic generator for mininet-based prototypes
Python
3
star
24

supercharged_router

Boosting Routers Convergence with SDN
Python
3
star
25

SIDR

Python
2
star
26

ns3-fancy

C++
2
star
27

atlas_interference

Quantifying interference between measurements on the RIPE Atlas platform
Python
1
star
28

PowerDB_Datasheets

1
star
29

PowerDB_Scrappers

1
star
30

iTAP-controller

iTAP prototype implementation
Java
1
star