Alternatives and similar repositories for lincheck:

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

• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 5 months ago
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆51Updated 5 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated last week
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆100Updated last week
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated 2 weeks ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆42Updated this week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated 3 weeks ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• informalsystems / modelator
  Model-based testing tool
  ☆56Updated last month
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• snu-sf / promising-coq
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆36Updated 6 months ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆66Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆16Updated 6 months ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated last year
• verse-lab / obatcher_ds
  ☆19Updated 7 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆34Updated this week
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• nerdroychan / kvbench
  A key-value store benchmark framework with customizable workloads
  ☆17Updated last month
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• mmtk / mmtk-openjdk
  OpenJDK binding for MMTk
  ☆34Updated 3 weeks ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 7 months ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆34Updated 3 weeks ago
• komora-io / optimistic-cell
  ☆19Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 5 months ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year