Alternatives and similar repositories for rlibm-all:

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

• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆29Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆20Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆37Updated 4 months ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last month
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆34Updated 2 weeks ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated last year
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated last year
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• pornin / cycle-counter
  ☆22Updated 3 months ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆11Updated 11 months ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆33Updated last year
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆65Updated last month
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 2 months ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆29Updated 6 months ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago