Alternatives and similar repositories for raft-spin

Users that are interested in raft-spin are comparing it to the libraries listed below

• avigad / formal_methods_in_education

  View on GitHub
  A web page with resources for teaching with formal methods and tools.
  ☆14Apr 8, 2023Updated 2 years ago
• Slepian / Slepian

  View on GitHub
  setup and demo files for the slepian_alpha etc repositories
  ☆11Aug 1, 2024Updated last year
• McGillDiabetesLab / artificial-pancreas-simulator

  View on GitHub
  A simulation environment for artificial pancreas treatments of type 1 diabetes.
  ☆14Jun 27, 2020Updated 5 years ago
• xiaowen1124 / Numerical-Analysis-

  View on GitHub
  数值分析课程作业题、习题及补充（复习练习版）
  ☆14Aug 26, 2024Updated last year
• SYNTCOMP / benchmarks

  View on GitHub
  Repository of benchmarks for SYNTCOMP
  ☆14Sep 16, 2025Updated 5 months ago
• oscomp / oskernel-testsuits-cooperation

  View on GitHub
  ☆15Apr 7, 2025Updated 10 months ago
• gemoc / farmingmodeling

  View on GitHub
  DSLs for modeling and analyzing farming systems
  ☆12May 4, 2017Updated 8 years ago
• MarisaKirisame / CompilingCombinator

  View on GitHub
  Code for my blog
  ☆11Feb 26, 2017Updated 8 years ago
• SnowOnion / Proof-Theory-Notes-zh_CN

  View on GitHub
  我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…
  ☆11Oct 30, 2018Updated 7 years ago
• eth-sri / proof-sharing

  View on GitHub
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Dec 19, 2022Updated 3 years ago
• LorenzoBettini / Xtext2-experiments

  View on GitHub
  some personal experiments with Xtext2
  ☆12Apr 19, 2014Updated 11 years ago
• jankotek / thread-weaver

  View on GitHub
  A Java framework for testing multithreaded code.
  ☆13Oct 26, 2018Updated 7 years ago
• Toby-Shi-cloud / SysY-Compiler-2023

  View on GitHub
  BUAA Compiler Course Project 2023 by Toby Shi.
  ☆13Aug 20, 2024Updated last year
• lzhihan / yolov5_Visible_Infrared_Vehicle_Detection

  View on GitHub
  基于红外、可见光双光源的车辆目标检测
  ☆16Apr 20, 2022Updated 3 years ago
• Music-recommendation-system-group / Music-recommendation-system

  View on GitHub
  音乐推荐系统，基于协同过滤算法与文本推荐算法，根据用户的听歌偏好为其推荐可能感兴趣的歌曲或者歌单。
  ☆14Sep 21, 2020Updated 5 years ago
• ashwinraghav / Cqual

  View on GitHub
  Type qualifiers for C
  ☆16Sep 21, 2011Updated 14 years ago
• tudelft-pl / master-thesis-template

  View on GitHub
  Master thesis template for Computer Science at TU Delft
  ☆13May 19, 2022Updated 3 years ago
• GreptimeTeam / greptime-proto

  View on GitHub
  GreptimeDB protobuf files.
  ☆19Feb 10, 2026Updated last week
• zhangyangjing / A-Quarter-Century-of-UNIX-zh

  View on GitHub
  UNIX二十五年
  ☆16Jun 29, 2018Updated 7 years ago
• shuaitq / Game-of-Life

  View on GitHub
  Conway's Game of Life
  ☆13Feb 10, 2019Updated 7 years ago
• AvramRobert / unfortunate-effects-hs

  View on GitHub
  ☆13Sep 30, 2019Updated 6 years ago
• Vulnerability-Detection / z3-study

  View on GitHub
  z3 solver 学习
  ☆53Jun 17, 2023Updated 2 years ago
• seangong / wechatrobot

  View on GitHub
  prometheus 使用 alertmanager 告警到企业微信群中。此程序将企业微信机器人转为 webhook 方式，更方便 alertmanger 中配置调用。
  ☆17Oct 8, 2022Updated 3 years ago
• jtassarotti / polaris

  View on GitHub
  A program logic for concurrent randomized programs
  ☆13Nov 9, 2018Updated 7 years ago
• GreptimeTeam / greptimedb-ingester-cpp

  View on GitHub
  A C++ ingester for GreptimeDB, which is compatible with GreptimeDB protocol and lightweight.
  ☆14Sep 11, 2023Updated 2 years ago
• hanhwi / SimPoint

  View on GitHub
  ☆17May 9, 2022Updated 3 years ago
• MashPlant / decaf-rs

  View on GitHub
  Framework of pa code for THU compiler principle course.
  ☆13Dec 18, 2019Updated 6 years ago
• typekernel / typekernel

  View on GitHub
  Warning: 🕳 ahead!
  ☆16Jan 8, 2020Updated 6 years ago
• qianqiao / seq2seq

  View on GitHub
  a simple seq2seq demo by tensorflow
  ☆14May 9, 2017Updated 8 years ago
• tulip-control / gr1c

  View on GitHub
  a collection of tools for GR(1) synthesis and related activities
  ☆21Dec 12, 2025Updated 2 months ago
• MemVerge / pmts

  View on GitHub
  Persistent Memory Test Suite
  ☆14Apr 29, 2020Updated 5 years ago
• will62794 / snapshot-isolation-spec

  View on GitHub
  A formal specification of snapshot isolation.
  ☆20Jul 17, 2025Updated 6 months ago
• go-air / reach

  View on GitHub
  symbolic reachability checker
  ☆23Sep 23, 2021Updated 4 years ago
• ziliuziliu / FaaSGraph

  View on GitHub
  ☆22Mar 2, 2025Updated 11 months ago
• nvb / rafttoy

  View on GitHub
  A playground to experiment with Raft proposal pipeline optimization
  ☆16Nov 4, 2022Updated 3 years ago
• dgryski / modelchecking

  View on GitHub
  model checking samples
  ☆17Oct 18, 2021Updated 4 years ago
• ultmaster / olymp-sty-chinese

  View on GitHub
  Chinese translation (and style modification) of olymp.sty
  ☆22Jan 28, 2019Updated 7 years ago
• IAI-Cyber / TRADES

  View on GitHub
  TRADES Tool
  ☆18Jan 1, 2025Updated last year
• jinlmsft / raft.tla

  View on GitHub
  TLA+ specification for the Raft consensus algorithm
  ☆19Aug 22, 2016Updated 9 years ago