Alternatives and similar repositories for odyssey:

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

• herbie-fp / rival
  Interval arithmetic for real computation
  ☆22Updated last week
• IanBriggs / megalibm
  ☆16Updated last year
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆11Updated last month
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆31Updated 8 months ago
• memoryleak47 / slotted-egraphs
  ☆20Updated this week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• cucapra / gator
  Geometry types
  ☆30Updated 4 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆23Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated last month
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆43Updated this week
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• sgpthomas / comp-gen
  Automatically generate a compiler using equality saturation
  ☆28Updated last year
• riswords / quiche
  ☆22Updated 2 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated last month
• anishathalye / rtlv
  Tools for reasoning about circuits in Rosette/Racket 🔌
  ☆19Updated 3 months ago
• viperproject / carbon
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆30Updated last week
• kth-step / itppv-course
  Interactive Theorem Proving course using HOL4
  ☆11Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 5 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆74Updated this week
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆128Updated this week
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆43Updated this week
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆56Updated 3 months ago
• cucapra / patronus
  work in progress, playing around with btor2 in rust
  ☆11Updated 3 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆163Updated last week
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated last month
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 11 months ago