Alternatives and similar repositories for abstraps

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

• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• riswords / quiche
  ☆22Updated 2 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 3 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆33Updated 11 months ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆45Updated last month
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 9 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 4 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆18Updated 5 months ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆79Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 5 months ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆53Updated last month
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆45Updated 3 weeks ago
• kovach / etch
  ☆17Updated last year
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• caviar-trs / caviar
  Implementing Halide's TRS inside of EGG
  ☆31Updated 2 years ago