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
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated last month
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆33Updated last year
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 9 months ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆50Updated last year
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆36Updated 2 months ago
• klebs6 / caffe2-rs
  ☆13Updated last year
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆30Updated 4 years ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆37Updated 3 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• luteberget / minisat-rs
  Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
  ☆10Updated 3 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆10Updated 5 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆57Updated 2 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago