rutgers-apl / rlibm-all
RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modes
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rlibm-all
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Proxy LLVM calls into Rust own shared library in runtime☆32Updated 8 months ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Rutgers APL correctly rounded math library☆28Updated 3 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- PL Reading Group Website☆14Updated this week
- benchmarking e-graph extraction☆36Updated last week
- Easy SMT solver interaction☆24Updated last month
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Formally verified implementation of Alive in Lean☆35Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 5 months ago
- Portable SIMD specification☆19Updated 7 years ago
- Superposition prover☆16Updated last year
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- Futspace is a voxel based graphics engine implemented in Futhark☆8Updated 4 years ago
- ☆19Updated 7 years ago
- ☆10Updated 3 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- KORE to llvm translation☆36Updated this week
- Python bindings for egg☆47Updated last year