RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modes
☆17Oct 6, 2023Updated 2 years ago
Alternatives and similar repositories for rlibm-all
Users that are interested in rlibm-all are comparing it to the libraries listed below
Sorting:
- RLibm for 32-bit representations (float and posit32)☆60Sep 16, 2021Updated 4 years ago
- Example project to demonstrate my practise on linux system library in Rust containing☆17Jun 3, 2023Updated 2 years ago
- Rutgers APL correctly rounded math library☆32Mar 11, 2021Updated 4 years ago
- Example application written using Reboot☆11Updated this week
- ☆40Aug 5, 2024Updated last year
- Data processing pipelines☆13Feb 9, 2026Updated 3 weeks ago
- CSP solver for puzzles☆17Mar 1, 2026Updated last week
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- ☆10May 18, 2023Updated 2 years ago
- ☆12Dec 12, 2019Updated 6 years ago
- Documentation☆10Jan 29, 2026Updated last month
- ☆11Aug 4, 2021Updated 4 years ago
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- Assistant/watchdog for Counterstake Bridge https://counterstake.org☆13Dec 26, 2025Updated 2 months ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated 2 months ago
- Controller application for Line6 DL4 MkII via MIDI USB.☆18Oct 31, 2024Updated last year
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- Playdate Horror game being written in Love2D, then refactored to be playable on the Playdate.☆14Jul 1, 2022Updated 3 years ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- PC 4k intro, ranked #2 at Evoke 2017.☆10Aug 25, 2017Updated 8 years ago
- OpenZeppelin patch module for Optimism☆11Mar 26, 2021Updated 4 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- My solutions for Advent of Code.☆11Dec 23, 2025Updated 2 months ago
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- ☆10Jul 29, 2025Updated 7 months ago
- Low-cost and fast L2 to L1 token withdrawal☆10Feb 9, 2022Updated 4 years ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 3 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 years ago
- ☆16Updated this week
- Solidity smart contract for atomic swaps.☆10Oct 31, 2022Updated 3 years ago
- Easy opaque typedef for Rust programming language.☆12Aug 22, 2019Updated 6 years ago
- Easy to use Hevm cheatcodes contract☆12Feb 24, 2022Updated 4 years ago
- A package for representing VTK data types and manipulating them in Julia.☆10Sep 24, 2023Updated 2 years ago
- ☆14Feb 16, 2021Updated 5 years ago