rutgers-apl / rlibm
Rutgers APL correctly rounded math library
☆29Updated 4 years ago
Alternatives and similar repositories for rlibm:
Users that are interested in rlibm are comparing it to the libraries listed below
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- A combined repository for all RLIBM prototypes☆45Updated 6 months ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆27Updated 6 months ago
- The AlteRnaTive Impala Compiler☆26Updated 2 weeks ago
- A fast implementation of log() and exp()☆54Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 5 months ago
- Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats☆28Updated 2 years ago
- LLVM Dialects Library☆22Updated last week
- Fast WebAssembly Baseline Compiler☆55Updated last year
- ☆22Updated 4 months ago
- Parallel Self-Adjusting Computation☆13Updated 3 years ago
- ☆18Updated 9 months ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated last year
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Radix sorting from the ground up☆36Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 3 months ago
- A low-latency malloc implementation☆25Updated 4 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆104Updated 8 months ago
- Reference implementation of the draft C++ GraphBLAS specification.☆32Updated 2 months ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- vertical + gpu + free join + datalog☆20Updated 2 months ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- A rethinking of the C time library☆10Updated 2 months ago
- TTG: Template Task Graph C++ API☆19Updated 2 months ago
- A mirror of the CRLibm project from INRIA Forge☆46Updated 4 years ago