Alternatives and similar repositories for lincheck:

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

• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 5 months ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆95Updated this week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated this week
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 4 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated last week
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 7 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆40Updated 3 months ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆15Updated 2 years ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆14Updated this week
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆22Updated 2 weeks ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Updated 6 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆121Updated last week
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆50Updated 4 months ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• TiarkRompf / reachability
  ☆46Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 9 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• nerdroychan / kvbench
  A key-value store benchmark framework with customizable workloads
  ☆17Updated last week
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• coq-community / tarjan
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆14Updated last month
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year