Alternatives and similar repositories for rlibm-all:

Users that are interested in rlibm-all are comparing it to the libraries listed below

• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆19Updated last year
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆35Updated 3 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated 4 months ago
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆36Updated last month
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 8 months ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated last month
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated 2 weeks ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated 11 months ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated last month
• ahrvoje / numerics
  Numerical snippets & tests
  ☆12Updated 3 months ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 6 years ago
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆29Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• luteberget / minisat-rs
  Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
  ☆10Updated 3 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆63Updated 3 weeks ago