Alternatives and similar repositories for lincheck

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

• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆72Updated last week
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago
• krobelus / rate
  DRAT/DPR proof checker
  ☆9Updated 3 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆33Updated 3 weeks ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆182Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated last month
• memoryleak47 / slotted-egraphs
  ☆29Updated 2 weeks ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆84Updated 4 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆14Updated 8 months ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 3 months ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆18Updated 11 months ago
• mgudemann / iimc
  ☆14Updated 7 years ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆79Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆88Updated 3 weeks ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated last month
• spade-lang / spade
  A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…
  ☆30Updated 2 weeks ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 4 months ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated last month
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆188Updated last week
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year
• jix / varisat
  SAT solver written in Rust
  ☆270Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆23Updated last year
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆77Updated last week
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆52Updated 8 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆154Updated this week
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆352Updated 2 weeks ago