Lists (8)
Starred repositories
BYRIO / overleaf
Forked from overleaf/overleafThe web front end for Overleaf, a web-based collaborative LaTeX editor. Regular pull updates from upstream. DO NOT Fork, just cherry-pick the first commit.
Tools and scripts for reproducing results for FMCAD 2024 paper on Neural Lyapunov Barrier Certificates
Open-source benchmark suite for cloud microservices
A fast and user-transparent parallel simulator implementation for ns-3
Source code for the paper ' Achieving Fairness Generalizability for Learning-based Congestion Control with Jury'
2
Updated Sep 11, 2024
SelfTune is an RL framework that enables systems and service developers to automatically tune various configuration parameters and other heuristics in their codebase, rather than manually-tweaking,…
Record and replay for cellular network emulation
Vegvisir is an automated testing framework for orchestrating prototypical QUIC-HTTP/3 client-server communications using simulated network conditions.
Incremental Verifiers for Neural Networks
FANC is a tool for the proof transfer of incomplete verification
Incremental Verification of DNNs (https://arxiv.org/abs/2304.01874)
Repository for "Harnessing ML For Network Protocol Assessment: A Congestion Control Use Case, HotNets '23
[Support 0.49.x]（Reset Cursor AI MachineID & Bypass Higher Token Limit） Cursor Ai ，自动重置机器ID ， 免费升级使用Pro功能: You've reached your trial request limit. / Too many free trial accounts used on this machi…
Benchmark for evaluating LLMs in network configuration problems.
A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
Python client for Batfish: https://github.com/batfish/batfish
An implementation of differential dataflow using timely dataflow on Rust.
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…