A mirror of the CRLibm project from INRIA Forge
☆51Oct 1, 2020Updated 6 years ago
Alternatives and similar repositories for crlibm
Users that are interested in crlibm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Error-Free Transformations as building blocks for compensated algorithms☆17Mar 21, 2023Updated 3 years ago
- DARMA/magistrate => Serialization and checkpointing library☆12Sep 15, 2026Updated 3 weeks ago
- A C++ data container replicating std::queue functionality but with better performance.☆41Oct 3, 2026Updated last week
- Matlab toolbox for set-oriented numerics in dynamical systems☆20Jun 14, 2024Updated 2 years ago
- C++20 and onward collection of high performance data containers and related tools☆57Sep 14, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Python binding for ibex-lib☆15Mar 31, 2022Updated 4 years ago
- C++20 Compact Tuple Tools☆61Updated this week
- PyInterval — Interval arithmetic in Python☆88Jun 13, 2017Updated 9 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆50Jun 17, 2015Updated 11 years ago
- ☆22Jul 7, 2024Updated 2 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- Prettiest C++ generator/coroutine implementation.☆14Dec 17, 2015Updated 10 years ago
- The Fancy Named Parameters Library☆35Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Mirror of libco from byuu.org plus patches for Fluent Bit☆13Sep 22, 2026Updated 2 weeks ago
- Rutgers APL correctly rounded math library☆33Mar 11, 2021Updated 5 years ago
- Plom is Paperless Open Marking - mirror of https://gitlab.com/plom/plom☆16Oct 2, 2026Updated last week
- kv - a C++ Library for Verified Numerical Computation☆98Aug 1, 2026Updated 2 months ago
- ☆15Feb 17, 2019Updated 7 years ago
- This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series eva…☆23Oct 15, 2021Updated 4 years ago
- Fork of the Blaze library for compatibility with Blaze CUDA · https://bitbucket.org/blaze-lib/blaze · https://github.com/STEllAR-GROUP/bl…☆10Oct 17, 2019Updated 6 years ago
- Error-free transformations are used to get results with extra accuracy.☆15May 27, 2026Updated 4 months ago
- a Smalltalk-80 virtual machine based on the "Bluebook" specification☆48Apr 25, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ISBL - Information Systems Base Language☆19Sep 21, 2014Updated 12 years ago
- Intermediate Compute Language with OpenCL/CUDA Backends☆20Oct 11, 2014Updated 11 years ago
- An Ada controller for static analysis and rules checking☆18Mar 4, 2024Updated 2 years ago
- Some library components that didn't quite fit anywhere else...☆36Nov 19, 2025Updated 10 months ago
- Peter Sommerlad's Simple Strong Typing☆34Oct 11, 2023Updated 2 years ago
- GIT can make your repo more modular with `git submodule` (as shown in this repo). Here is a utility to send recursive commands through th…☆12Sep 28, 2022Updated 4 years ago
- Probability bounds analysis in Julia☆26Jun 2, 2026Updated 4 months ago
- Handles image pixel format, querys for all, encode/decode for many☆62Mar 12, 2026Updated 6 months ago
- Interface to tesseract OCR system.☆12Sep 4, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 6 years ago
- Adaptive sampling of parametric and implicit curves☆13Nov 12, 2021Updated 4 years ago
- A fault-injection framework using Chisel and FIRRTL☆39Sep 17, 2025Updated last year
- A collection of scripts and utilities for developers using WSL (Windows Subsystem for Linux)☆16Nov 6, 2019Updated 6 years ago
- Remez algorithm for computing minimax polynomial approximations☆47Aug 10, 2020Updated 6 years ago
- ☆10Nov 26, 2020Updated 5 years ago
- Collection of ktl header libraries - small C++20 wrapper utilities☆11Aug 15, 2022Updated 4 years ago