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
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- A combined repository for all RLIBM prototypes☆45Updated 5 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- Fast WebAssembly Baseline Compiler☆56Updated last year
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆27Updated 5 months ago
- A fast implementation of log() and exp()☆53Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 4 months ago
- The AlteRnaTive Impala Compiler☆26Updated last month
- Tasking 2.0☆16Updated 3 years ago
- ☆22Updated 3 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- ☆18Updated 8 months ago
- Bytecode interpreter☆72Updated last month
- Lightweight framework for easy and efficient code generation