WhiRLVerification/WhiRL external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

WhiRLVerification/WhiRL

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/WhiRLVerification/WhiRL)

Close

WhiRLVerification / WhiRLView on GitHubMore

• External links
• Readme badge

☆12Oct 21, 2020Updated 5 years ago

Alternatives and similar repositories for WhiRL

Users that are interested in WhiRL are comparing it to the libraries listed below

• nal-epfl / castan

  View on GitHub
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Dec 7, 2021Updated 4 years ago
• VITA-Group / SymbolicPCC

  View on GitHub
  📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …
  ☆16Oct 13, 2022Updated 3 years ago
• all-things-networking / fperf

  View on GitHub
  ☆19Jan 23, 2026Updated last month
• Froot-NetSys / OctoSketch

  View on GitHub
  ☆10Nov 25, 2023Updated 2 years ago
• dslab-epfl / pix

  View on GitHub
  Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
  ☆17Jul 14, 2022Updated 3 years ago
• BorisPis / nicmem-asplos22-artifact

  View on GitHub
  ☆18Dec 11, 2023Updated 2 years ago
• microsoft / MetaOpt

  View on GitHub
  MetaOpt: Towards efficient heuristic design with quantifiable and confident performance
  ☆21Jan 20, 2026Updated last month
• NetSys / S6

  View on GitHub
  ☆18Jun 29, 2018Updated 7 years ago
• nsg-ethz / netdice

  View on GitHub
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆37Jul 12, 2021Updated 4 years ago
• xudongliao / astraea-open-source

  View on GitHub
  Astraea: Towards Fair and Efficient Learning-based Congestion Control (EuroSys'24)
  ☆19May 28, 2025Updated 9 months ago
• netiken / m3

  View on GitHub
  [ACM SIGCOMM 2024] "m3: Accurate Flow-Level Performance Estimation using Machine Learning" by Chenning Li, Arash Nasr-Esfahany, Kevin Zha…
  ☆25Oct 2, 2024Updated last year
• harvard-cns / teal

  View on GitHub
  Codebase for Teal (SIGCOMM 2023)
  ☆60Apr 19, 2024Updated last year
• PredWanTE / DOTE

  View on GitHub
  ☆29Dec 2, 2022Updated 3 years ago
• venkatarun95 / ccac

  View on GitHub
  Automated tool to formally verify congestion control algorithms and find bugs in them
  ☆27Oct 4, 2022Updated 3 years ago
• acsl-technion / nica

  View on GitHub
  An infrastructure for inline acceleration of network applications
  ☆30Oct 25, 2021Updated 4 years ago
• Morpheus-compiler / Morpheus

  View on GitHub
  Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22
  ☆35Apr 11, 2024Updated last year
• NeuralNetworkVerification / Marabou

  View on GitHub
  ☆312Nov 2, 2025Updated 4 months ago
• eniac / MimicNet

  View on GitHub
  Predicting network performance at scale
  ☆35Jul 3, 2022Updated 3 years ago
• mfs409 / llvm-transmem

  View on GitHub
  ☆11Aug 5, 2020Updated 5 years ago
• sparkfun / qwiic_scmd_py

  View on GitHub
  Python module for the qwiic serial control motor driver
  ☆10Mar 19, 2025Updated 11 months ago
• nds-group / Jewel

  View on GitHub
  Jewel: Resource-Efficient Joint Packet and Flow Level Inference in Programmable Switches
  ☆12Mar 18, 2024Updated last year
• liecn / cnli.me

  View on GitHub
  template for https://cnli.me
  ☆10Feb 27, 2025Updated last year
• netx-repo / neuroplan

  View on GitHub
  ☆95Apr 25, 2023Updated 2 years ago
• PanZhangg / DPDKick

  View on GitHub
  Ultimate DPDK System Enabling Expert
  ☆11May 3, 2019Updated 6 years ago
• traffic-refinery / traffic-refinery

  View on GitHub
  Cost-aware network traffic analysis
  ☆13Dec 20, 2023Updated 2 years ago
• williamtu / sigcomm21-ovs-artifacts

  View on GitHub
  ☆12Oct 16, 2021Updated 4 years ago
• henry-nazare / llvm-sra

  View on GitHub
  Symbolic range analysis for LLVM.
  ☆12Jan 10, 2016Updated 10 years ago
• oscarGLira / LLM-based-Intelligent-Configuration-Validation-Framework

  View on GitHub
  Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"
  ☆12Jun 20, 2024Updated last year
• Shawnxm / lookbusy

  View on GitHub
  A synthetic CPU load generator
  ☆13Dec 23, 2020Updated 5 years ago
• mathcbc / GMM-EM

  View on GitHub
  The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）
  ☆12Dec 30, 2018Updated 7 years ago
• alibaba / rela

  View on GitHub
  ☆14Jun 17, 2024Updated last year
• netverify / netverify.github.io

  View on GitHub
  ☆10Oct 16, 2024Updated last year
• micchie / paste

  View on GitHub
  Latest PASTE (NSDI'18) repository
  ☆13May 2, 2022Updated 3 years ago
• snalli / whisper

  View on GitHub
  WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.
  ☆10May 10, 2017Updated 8 years ago
• eth-easl / pccheck

  View on GitHub
  ☆12Nov 8, 2024Updated last year
• USC-NSL / TUB

  View on GitHub
  A Throughput-Centric View of the Performance of Datacenter Topologies [SIGCOMM'21]
  ☆10May 25, 2021Updated 4 years ago
• CN-UPB / distributed-coordination

  View on GitHub
  Every Node for Itself: Fully Distributed Service Coordination
  ☆10Nov 8, 2021Updated 4 years ago
• wineslab / colosseum-oran-commag-dataset

  View on GitHub
  Dataset for the paper L. Bonati, S. D'Oro, M. Polese, S. Basagni, T. Melodia, "Intelligence and Learning in O-RAN for Data-driven NextG C…
  ☆55Dec 9, 2024Updated last year
• eniac / tpprof

  View on GitHub
  ☆10Nov 22, 2020Updated 5 years ago