Alternatives and similar repositories for abstraps

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

• riswords / quiche
  ☆24Updated 2 years ago
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆19Updated 3 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆37Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆48Updated 7 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆53Updated 4 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆30Updated 3 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆84Updated last week
• memoryleak47 / slotted-egraphs
  ☆37Updated 3 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 7 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆78Updated last year
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆35Updated this week
• caviar-trs / caviar
  Implementing Halide's TRS inside of EGG
  ☆33Updated 2 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 3 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 10 months ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆12Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆25Updated 2 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆65Updated 2 weeks ago
• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆73Updated this week
• kovach / etch
  ☆16Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 5 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆51Updated 2 weeks ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆39Updated 2 weeks ago