netarch Goto Github PK

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.

class

Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders

cspeed

cSpeed website

dring

Packet-level simulation code to model Opera and other networks from the 2020 NSDI paper "Expanding across time to deliver bandwidth efficieny and low latency"

faultference

faultlocalization

murphy-traces

DeathStarBench traces from the paper "Murphy: Performance Diagnosis of Distributed Cloud Applications", SIGCOMM 2023

neo

A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism

ntu-dsi-dcn

The official open-source ns-3 simulation framework for datacenter network architectures

pcc-1

performance oriented congestion control

pcc_quic

This is PCC to QUIC plugin

slate-sim

topobench

A throughput benchmarking tool for network topologies