Alternatives and similar repositories for rlibm

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

• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• jart / matmul
  ☆18Updated 11 months 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
• rutgers-apl / The-RLIBM-Project
  A combined repository for all RLIBM prototypes
  ☆45Updated 8 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆45Updated 4 years ago
• pornin / cycle-counter
  ☆23Updated 5 months ago
• BodhiHu / L-Mul
  C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907
  ☆27Updated 7 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated 2 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• GPUOpen-Drivers / llvm-dialects
  LLVM Dialects Library
  ☆22Updated 3 weeks ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆41Updated 2 weeks ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 6 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 7 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated last week
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 10 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆44Updated this week
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 11 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• riswords / quiche
  ☆22Updated 2 years ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆11Updated 3 months ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆44Updated 3 weeks ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• AnyDSL / artic
  The AlteRnaTive Impala Compiler
  ☆26Updated this week
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• matthieu-m / llmalloc
  A low-latency malloc implementation
  ☆25Updated 4 years ago