venkatarun95

genericCC

An interface to program any congestion control protocol for an unreliable connection based protocol sent over UDP. It comes with a clean TrafficGenerator interface that can generate traffic for each of these various protocols. Also supports other congestion control protocols

ccac

Automated tool to formally verify congestion control algorithms and find bugs in them

rust-book-hindi

Hindi translation of the Rust book

ccp_copa

Implementation of the Copa congestion control agorithm using CCP

6.829-pset2-3

cc_sim

CopaEvaluation

monitor-link

Captures pcap and computes statistics in real time

rust_transform_struct

A rust macro that transforms one struct field-by-field into another with the specified functions

SecureMultipartyComputation

SMPC code for allegation escrows

covid_reliable_articles

pantheon-1

Pantheon of Congestion Control

pyz3_utils

Convenience wrappers for Z3

rocc_kernel

usrp_rs

A simple binding to receive/send samples from/to USRP devices

atom-devanagari

Atom package for phonetically writing Devanagari using an English keyboard

audio_ct

bitvec-rs

ccac2

Improved version of CCAC

ccac_proofs

ccac_website

channel_est

human_chess

mahimahi

Web performance measurement toolkit

mit_page

mvfst

An implementation of the QUIC transport protocol.

networks-assignment-transport

radiotap-library

radiotap parser C library

Stockfish

UCI chess engine

sysml_fair_verif