rutgers-apl / rlibm-allView external linksLinks
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☆11Jan 24, 2026Updated 3 weeks ago
- ☆40Aug 5, 2024Updated last year
- CSP solver for puzzles☆17Feb 8, 2026Updated last week
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- Data processing pipelines☆13Updated this week
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- Assistant/watchdog for Counterstake Bridge https://counterstake.org☆13Dec 26, 2025Updated last month
- ☆10May 18, 2023Updated 2 years ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated last month
- ☆11Aug 4, 2021Updated 4 years ago
- Controller application for Line6 DL4 MkII via MIDI USB.☆18Oct 31, 2024Updated last year
- ☆12Dec 12, 2019Updated 6 years ago
- Documentation☆10Jan 29, 2026Updated 2 weeks ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- Version control for my thesis conducted during the 10th semester in Electrical & Computer Engineering at Aristotle University of Thessalo…☆11Jun 26, 2018Updated 7 years ago
- A small framework for defensive development with conditionally compiled assertions and logging tools.☆11Jan 18, 2026Updated 3 weeks ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- Playdate Horror game being written in Love2D, then refactored to be playable on the Playdate.☆14Jul 1, 2022Updated 3 years ago
- My solutions for Advent of Code.☆11Dec 23, 2025Updated last month
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- PC 4k intro, ranked #2 at Evoke 2017.☆10Aug 25, 2017Updated 8 years ago
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 9 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- Low-cost and fast L2 to L1 token withdrawal☆10Feb 9, 2022Updated 4 years ago
- ANARI Specification Registry☆12Nov 12, 2025Updated 3 months ago
- POC of CVE-2025-7783☆28Oct 31, 2025Updated 3 months ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- Solidity contracts for ETH mainnet deploy of Clipper DEX☆11Oct 5, 2021Updated 4 years ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- POSIX-compatible tiny multi-threading library for Intel Nios II / Xilinx Zynq-7000☆13Jun 14, 2020Updated 5 years ago
- A package for representing VTK data types and manipulating them in Julia.☆10Sep 24, 2023Updated 2 years ago
- ☆14Feb 16, 2021Updated 4 years ago