A mirror of the CRLibm project from INRIA Forge
☆50Oct 1, 2020Updated 5 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:
- GAOL is not Just Another Interval Arithmetic Library☆19Dec 9, 2025Updated 4 months ago
- Error-Free Transformations as building blocks for compensated algorithms☆17Mar 21, 2023Updated 3 years ago
- A C++ data container replicating std::queue functionality but with better performance.☆40Jan 2, 2026Updated 3 months ago
- Source code for various tiny tools that I find useful and want to share.☆14Apr 30, 2025Updated 11 months ago
- Matlab toolbox for set-oriented numerics in dynamical systems☆20Jun 14, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Python binding for ibex-lib☆15Mar 31, 2022Updated 4 years ago
- Tiny Test System☆27Updated this week
- C++20 Compact Tuple Tools☆57Updated this week
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Jun 17, 2015Updated 10 years ago
- Rigorous Global Branch-and-Bound Optimizer☆24Dec 13, 2024Updated last year
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Port of tFPDF (PHP) by by Ian Back and Tycho Veltmeijer (modified version of FPDF by Olivier Plathey) to TCL☆13Oct 16, 2025Updated 5 months ago
- Python implementation of Underdamped Langevin Inference, a method to infer the dynamical equation of underdamped stochastic systems from …☆17Jun 20, 2025Updated 9 months ago
- Open source Nintendo 64☆12Jul 16, 2014Updated 11 years ago
- 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.
- ☆22Jul 7, 2024Updated last year
- C++ special math functions☆17Feb 20, 2026Updated last month
- kv - a C++ Library for Verified Numerical Computation☆94Mar 16, 2026Updated 3 weeks ago
- tclapps (Mirror of core.tcl-lang.org)☆17Jan 15, 2026Updated 2 months ago
- flood fill a 2D map to create a Dijkstra map (distance map or field)☆12Sep 11, 2022Updated 3 years ago
- a Smalltalk-80 virtual machine based on the "Bluebook" specification☆46Apr 25, 2025Updated 11 months ago
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- Some library components that didn't quite fit anywhere else...☆36Nov 19, 2025Updated 4 months ago
- Probability bounds analysis in Julia☆25Jan 13, 2025Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Plom is Paperless Open Marking - mirror of https://gitlab.com/plom/plom☆16Mar 29, 2026Updated last week
- A set of Kicad files detailing the N64 hardware☆19Jan 30, 2021Updated 5 years ago
- Peter Sommerlad's Simple Strong Typing☆34Oct 11, 2023Updated 2 years ago
- Upload a Jupyter notebook as a Gist with the click of a button.☆20Sep 28, 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…☆11Sep 28, 2022Updated 3 years ago
- A programming game in which one writes Tcl programs to control a robot, which must survive a battle with other robots.☆14Sep 22, 2011Updated 14 years ago
- Gaussian processes for multi-wavelength and spectral observations☆12Jul 21, 2020Updated 5 years ago
- Float128 and libquadmath for the Julia language☆44Mar 30, 2026Updated last week
- NVIDIA StateViewer, A tool for viewing graphics state traces from OpenGL and DirectX apps and games.☆19Oct 3, 2013Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Handles image pixel format, querys for all, encode/decode for many☆63Mar 12, 2026Updated 3 weeks ago
- A tool for online blind deconvolution of high frame-rate astronomical imaging data based on David W. Hogg and Dan Foreman-Mackey's projec…☆16Jun 23, 2022Updated 3 years ago
- Fused multiply-add (with a single rounding) for Python.☆20Aug 14, 2024Updated last year
- A simple D3D12 sample demonstrating how to use white and blue noise to eliminate color banding.☆27Apr 14, 2020Updated 5 years ago
- A general purpose repo for all things Safecast related that might not fit in the other specific buckets.☆17Nov 17, 2019Updated 6 years ago
- Adaptive sampling of parametric and implicit curves☆13Nov 12, 2021Updated 4 years ago
- MIT-licensed stand-alone CUDA utility functions.☆16Jul 3, 2020Updated 5 years ago