Repositories list

• NDD

  Public
  [NSDI'25] The library of Network Decision Diagram based on JDD.

  Java

  •

  Apache License 2.0

  •88 forks•1818 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• XJTU-NetVerify.github.io

  Public
  Homepage

  Python

  •55 forks•11 star•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• ants-index

  Public
  Index webpage for ANTS group

  HTML

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• nqueensBenchmarkDDs

  Public
  Benchmark on all version of BDD and NDD in NQueens

  Java

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• sdn-lab3

  Public
  Experiments for COMP550705 Software Defined Networks: Lab 3

  Python

  •11 fork•33 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• sdn-lab1

  Public
  Experiments for COMP550705 Software Defined Networks: Lab 1

  11 fork•33 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• sdn-lab2

  Public
  Experiments for COMP550705 Software Defined Networks: Lab 2

  Python

  •22 forks•33 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• accessrefinery

  Public
  [FSE' 26] AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud.

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• apkeep

  Public
  [NSDI'20] APKeep: Realtime Verification for Real Networks

  Java

  •

  MIT License

  •33 forks•77 stars•00 issues•00 pull requests•Updated Mar 5, 2026Mar 5, 2026

• veriboost

  Public
  [FM'26] VeriBoost : Fast SMT-Based Fault Tolerance Verification for Wide Area Networks.

  Java

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 28, 2026Feb 28, 2026

• s2

  Public
  [SIGCOMM '25] S2: A Distributed Configuration Verifier for Hyper-Scale Networks

  Java

  •

  Apache License 2.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Oct 24, 2025Oct 24, 2025

• s2-benchmark

  Public
  Python

  •00 forks•33 stars•00 issues•00 pull requests•Updated Oct 23, 2025Oct 23, 2025

• sdn-lab4

  Public
  2025 Experiments for COMP550705 Software Defined Networks: Lab 4

  C++

  •11 fork•33 stars•00 issues•00 pull requests•Updated Apr 20, 2025Apr 20, 2025

• .github

  Public
  11 fork•00 stars•00 issues•00 pull requests•Updated May 22, 2024May 22, 2024

• dna

  Public
  [NSDI'22] Differential Network Analysis

  Java

  •

  MIT License

  •44 forks•1313 stars•00 issues•00 pull requests•Updated Jun 2, 2022Jun 2, 2022