Alternatives and similar repositories for rlibm

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

• rutgers-apl / The-RLIBM-Project
  A combined repository for all RLIBM prototypes
  ☆46Updated 9 months ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• BodhiHu / L-Mul
  C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907
  ☆28Updated 9 months ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 4 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆16Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆110Updated 11 months ago
• jart / matmul
  ☆18Updated last year
• nadavrot / bistra
  Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…
  ☆9Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last week
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆57Updated 2 years ago
• Wunkolo / Intriman
  Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats
  ☆28Updated 3 years ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated last month
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆40Updated this week
• tobiasgrosser / polyhedral.info
  ☆20Updated 2 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆13Updated 2 months ago
• taschini / crlibm
  A mirror of the CRLibm project from INRIA Forge
  ☆48Updated 4 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated last week
• AndyGlew / comp-arch.net
  Reviving the old comp-arch.net wiki?
  ☆18Updated 2 years ago
• phate / jlm
  ☆69Updated this week
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆30Updated 11 years ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆56Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated last week
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆43Updated last month
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 4 months ago
• mwillsey / cs265
  Website for CS 265
  ☆29Updated 6 months ago
• GPUOpen-Drivers / llvm-dialects
  LLVM Dialects Library
  ☆23Updated last month