Alternatives and similar repositories for raft-impl:

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

• StardustDL / codesim
  A similarity measurer on two programming assignments on Online Judge.
  ☆9Updated 2 years ago
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆11Updated 2 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆202Updated this week
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆49Updated last month
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 2 years ago
• trackoor / Chi
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Updated 4 years ago
• CircuitCoder / MeowRust
  Relaxed Rust (for cats)
  ☆16Updated 5 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 2 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆23Updated 6 months ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆31Updated 3 weeks ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• permui / calocom
  An awesome language and its compiler.
  ☆33Updated 2 years ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆23Updated last year
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 10 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated this week
• Cytosine2020 / crust
  A Rust style C++ library.
  ☆19Updated 2 years ago
• jiegec / cold
  The cold linker
  ☆69Updated 9 months ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆22Updated last year
• thu-cs-lab / JieLabs-Web
  Backend & Frontend for JieLabs
  ☆22Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆22Updated 4 years ago