Alternatives and similar repositories for rlibm-all

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

• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆69Updated 3 weeks ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 6 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆81Updated 2 weeks ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year
• gvilums / ptoxide
  Virtual machine for executing CUDA PTX without a GPU
  ☆40Updated 2 years ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆59Updated 3 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆148Updated 6 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆25Updated 2 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆54Updated 3 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• togatoga / screwsat
  A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
  ☆38Updated last year
• ChezJrk / verified-scheduling
  ☆44Updated last month
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated last week
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆31Updated last year
• memoryleak47 / slotted-egraphs
  ☆37Updated 3 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆84Updated this week
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆228Updated this week
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆47Updated this week
• zshipko / halide-runtime
  Rust bindings to the Halide runtime
  ☆20Updated 2 years ago
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated this week
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• argumentcomputer / ix
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆55Updated last week
• termoshtt / link_cuda_kernel
  HowTo: Compile CUDA with nvcc, and link to Rust
  ☆51Updated 7 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 5 months ago
• rutgers-apl / rlibm
  Rutgers APL correctly rounded math library
  ☆32Updated 4 years ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆116Updated 2 weeks ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆88Updated 9 months ago
• ulysseB / telamon
  A framework to find good combinations of optimizations for computational kernels on GPUs.
  ☆25Updated 5 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago