RLibm for 32-bit representations (float and posit32)
☆60Sep 16, 2021Updated 4 years ago
Alternatives and similar repositories for rlibm-32
Users that are interested in rlibm-32 are comparing it to the libraries listed below
Sorting:
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- Rutgers APL correctly rounded math library☆32Mar 11, 2021Updated 4 years ago
- Spherical blue noise generator.☆16Jan 20, 2021Updated 5 years ago
- Radix sort revisited again☆26Mar 20, 2018Updated 7 years ago
- Data processing pipelines☆13Feb 9, 2026Updated last month
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- The Scala programming language☆16Mar 31, 2023Updated 2 years ago
- This repository is discontinued, see https://github.com/ValveSoftware/Fossilize☆35Mar 18, 2019Updated 6 years ago
- Documentation☆10Jan 29, 2026Updated last month
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur☆11Oct 26, 2020Updated 5 years ago
- pstore, a high-performance, read-optimized database system.☆26Nov 14, 2013Updated 12 years ago
- CodeFeedr core infrastructure☆10Nov 10, 2020Updated 5 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- ☆11Jun 14, 2015Updated 10 years ago
- ☆10May 18, 2023Updated 2 years ago
- Magnetohydrodynamics simulation code☆10Jan 2, 2025Updated last year
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- Assistant/watchdog for Counterstake Bridge https://counterstake.org☆13Dec 26, 2025Updated 2 months ago
- AI Hedge Fund Repo integrate with DeepSeek V3 and R1 hosted on SiliconFlow.☆12Feb 3, 2025Updated last year
- Diagnostic tools for timely dataflow computations☆50Jul 6, 2022Updated 3 years ago
- ☆11Jul 2, 2024Updated last year
- 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
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 3 years ago
- 🗄️ Networked in-memory key-value store.☆11Jan 2, 2018Updated 8 years ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- ☆11Sep 21, 2025Updated 5 months ago
- SGEMM and DGEMM subroutines using AVX512F instructions.☆15May 22, 2022Updated 3 years ago
- Legate Hello World Pedagogical Library☆10Apr 5, 2023Updated 2 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- ☆13May 9, 2015Updated 10 years ago
- Efficient-Gas Fixed-Point Mathematical Functions for Solidity☆11Nov 1, 2019Updated 6 years ago
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- ☆16Updated this week
- ☆11Sep 29, 2022Updated 3 years ago
- Low-cost and fast L2 to L1 token withdrawal☆10Feb 9, 2022Updated 4 years ago
- ☆11Oct 8, 2024Updated last year
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago