Alternatives and similar repositories for szalinski

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

• bkushigian / cornelius

  View on GitHub
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Jun 14, 2023Updated 2 years ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 years ago
• uwplse / ruler

  View on GitHub
  Rewrite Rule Inference Using Equality Saturation
  ☆151Jun 6, 2025Updated 8 months ago
• xiw / arithcc

  View on GitHub
  ☆15Oct 21, 2020Updated 5 years ago
• Bastacyclop / egg-sketches

  View on GitHub
  sketches for egg: a flexible, high-performance e-graph library
  ☆30Sep 25, 2025Updated 4 months ago
• gitnlsn / nlsn-delaunay-refine

  View on GitHub
  Rust implementation of Delaunay Triangulation and Refinement
  ☆12Sep 16, 2020Updated 5 years ago
• phate / jive

  View on GitHub
  ☆14Jan 14, 2022Updated 4 years ago
• yihozhang / relational-ematching-benchmark

  View on GitHub
  ☆16Jan 5, 2022Updated 4 years ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• nicolasprevot / GpuShareSat

  View on GitHub
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Jun 8, 2021Updated 4 years ago
• gussmith23 / glenside

  View on GitHub
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆73May 30, 2025Updated 8 months ago
• uwplse / tensat

  View on GitHub
  Re-implementation of the TASO compiler using equality saturation
  ☆138Jun 28, 2021Updated 4 years ago
• egraphs-good / egraph-visualizer

  View on GitHub
  Interactive visualizer for e-graphs
  ☆28Jan 13, 2026Updated last month
• gussmith23 / lakeroad

  View on GitHub
  FPGA synthesis tool powered by program synthesis
  ☆55Dec 15, 2025Updated 2 months ago
• maria-antoniak / fight-harassment-in-research

  View on GitHub
  ☆15Aug 19, 2024Updated last year
• etrombly / gcode-yew

  View on GitHub
  Minimal example of the gcode-rs crate with web assembly
  ☆11Jun 24, 2020Updated 5 years ago
• terohuttunen / proto-vulcan

  View on GitHub
  A relational logic programming language embedded in Rust.
  ☆12Aug 15, 2025Updated 6 months ago
• argumentcomputer / RustFFI.lean

  View on GitHub
  Template for Lean<->Rust FFI
  ☆14Feb 11, 2024Updated 2 years ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• squaresLab / Darjeeling

  View on GitHub
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Jul 9, 2024Updated last year
• mhirki / idq-bench2

  View on GitHub
  Instruction decoder microbenchmark suite
  ☆11Oct 31, 2017Updated 8 years ago
• David-Durst / embeddedHaskellAetherling

  View on GitHub
  ☆30Oct 16, 2022Updated 3 years ago
• egraphs-good / egg

  View on GitHub
  egg is a flexible, high-performance e-graph library
  ☆1,670Dec 4, 2025Updated 2 months ago
• David-Durst / aetherling

  View on GitHub
  Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
  ☆13Mar 29, 2021Updated 4 years ago
• rust-cv / meetups

  View on GitHub
  ☆16Sep 30, 2021Updated 4 years ago
• breandan / markovian

  View on GitHub
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Apr 8, 2022Updated 3 years ago
• philzook58 / awesome-egraphs

  View on GitHub
  An awesome list of e-graph resources
  ☆293Jan 9, 2026Updated last month
• feroldi / oxide

  View on GitHub
  Regionalized Value State Dependence Graph written in Rust
  ☆11Nov 17, 2019Updated 6 years ago
• xuexue / neuralkanren

  View on GitHub
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Dec 30, 2018Updated 7 years ago
• Tritlo / PropR

  View on GitHub
  Genetic program repair using GHC
  ☆33May 16, 2024Updated last year
• pmatos / nora

  View on GitHub
  An experimental Racket implementation using LLVM/MLIR
  ☆62Jun 15, 2023Updated 2 years ago
• mit-plv / rupicola

  View on GitHub
  Gallina to Bedrock2 compilation toolkit
  ☆65Feb 3, 2026Updated 2 weeks ago
• uwplse / reincarnate-aec

  View on GitHub
  Reincarnate Artifact for ICFP 2018
  ☆13Jun 24, 2024Updated last year
• ikuraj / SciFe

  View on GitHub
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Mar 15, 2024Updated last year
• slmjkdbtl / dirty_rust

  View on GitHub
  dirty toolkit
  ☆20Nov 1, 2020Updated 5 years ago
• egraphs-good / egraph-serialize

  View on GitHub
  egraph <-> json
  ☆16Dec 29, 2025Updated last month
• kelloggm / object-construction-checker

  View on GitHub
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆11Feb 13, 2023Updated 3 years ago
• iced-rs / ios-examples

  View on GitHub
  ☆15Dec 4, 2019Updated 6 years ago