Alternatives and similar repositories for SelfStarter

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

• anubhavnidhi / batfish

  View on GitHub
  Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…
  ☆17Jun 19, 2022Updated 3 years ago
• nsg-ethz / Metha

  View on GitHub
  A framework for automated testing of network analysis and verification tools.
  ☆17Feb 23, 2021Updated 4 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
• rajkiranjoshi / syndb-sim

  View on GitHub
  ☆11Apr 12, 2021Updated 4 years ago
• nsg-ethz / synet

  View on GitHub
  SyNET Network-wide Configuration Synthesis
  ☆28Dec 7, 2017Updated 8 years ago
• nsg-ethz / config2spec

  View on GitHub
  Mining Network Specifications from Network Configurations
  ☆35Nov 20, 2020Updated 5 years ago
• NetworkVerification / nv

  View on GitHub
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Feb 20, 2023Updated 2 years ago
• rabeckett / propane

  View on GitHub
  ☆81Apr 13, 2018Updated 7 years ago
• dns-groot / groot

  View on GitHub
  Static verification tool for DNS zone files
  ☆81Jan 8, 2023Updated 3 years ago
• netcontract / ncflow

  View on GitHub
  Anonymized code for NCFlow, NSDI 2021 Spring submission
  ☆26May 9, 2021Updated 4 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
• mfs409 / llvm-transmem

  View on GitHub
  ☆11Aug 5, 2020Updated 5 years ago
• liuyuqi / file-transfer-python

  View on GitHub
  A client-server based file transfer program using UDP and TCP written in Python.
  ☆10Apr 13, 2015Updated 10 years ago
• MadryLab / D3M

  View on GitHub
  Debiasing Through Data Attribution
  ☆12May 23, 2024Updated last year
• MichalMrena / DecisionDiagrams

  View on GitHub
  C++ library for creating and manipulating decision diagrams.
  ☆13Dec 3, 2025Updated 2 months ago
• sridhar-research-lab / DDoSim

  View on GitHub
  Large-scale Botnet DDoS Attack Simulation Framework
  ☆10Jul 15, 2025Updated 7 months ago
• DEIS-Tools / AalWiNes

  View on GitHub
  ☆11Sep 8, 2022Updated 3 years ago
• liecn / cnli.me

  View on GitHub
  template for https://cnli.me
  ☆10Feb 27, 2025Updated 11 months ago
• hongjun9 / CPinconsistency

  View on GitHub
  Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles
  ☆10Oct 13, 2022Updated 3 years ago
• alyssaq / heap

  View on GitHub
  Heap implementation in C++
  ☆10May 2, 2014Updated 11 years ago
• tcstewar / nengo_assignments

  View on GitHub
  Assignment questions for Nengo tutorial
  ☆11Apr 11, 2024Updated last year
• 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
• fooelisa / napalm_demo

  View on GitHub
  NAPALM & Ansible Demo
  ☆12Mar 10, 2016Updated 9 years ago
• WhiRLVerification / WhiRL

  View on GitHub
  ☆12Oct 21, 2020Updated 5 years ago
• mathcbc / GMM-EM

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

  View on GitHub
  Simple libpcap usage example
  ☆11Jul 9, 2024Updated last year
• micchie / paste

  View on GitHub
  Latest PASTE (NSDI'18) repository
  ☆13May 2, 2022Updated 3 years ago
• henry-nazare / llvm-sra

  View on GitHub
  Symbolic range analysis for LLVM.
  ☆12Jan 10, 2016Updated 10 years ago
• netverify / netverify.github.io

  View on GitHub
  ☆10Oct 16, 2024Updated last year
• acsl-technion / nuevomatch

  View on GitHub
  The source code of NuevoMatch as described in "A Computational Approach to Packet Classification" (SIGCOMM, 2020)
  ☆44Apr 5, 2021Updated 4 years ago
• Princeton-Cabernet / BeauCoup

  View on GitHub
  ☆45Oct 20, 2021Updated 4 years ago
• ckshitij / RE_TO_DFA

  View on GitHub
  code of RE
  ☆11Jun 8, 2018Updated 7 years ago
• eniac / Speedlight

  View on GitHub
  Source code for Speedlight, a system for Synchronized Network Snapshots
  ☆10Aug 21, 2020Updated 5 years ago
• efeslab / asplos22-hardware-debugging-artifact

  View on GitHub
  ☆13Jun 12, 2024Updated last year
• nal-epfl / castan

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

  View on GitHub
  Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
  ☆13Mar 18, 2025Updated 10 months ago
• rwang067 / XPGraph

  View on GitHub
  Source code for XPGraph-MICRO22
  ☆12Apr 10, 2023Updated 2 years ago
• sixiangdeweicao / DET

  View on GitHub
  Efficient IPv6 address discovery algorithm DET which combines density, information entropy and space tree. DET is short for detective, w…
  ☆13Sep 18, 2023Updated 2 years ago