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
Sorting:
- GAOL is not Just Another Interval Arithmetic Library☆19Dec 9, 2025Updated 3 months ago
- Error-Free Transformations as building blocks for compensated algorithms☆16Mar 21, 2023Updated 2 years ago
- DARMA/magistrate => Serialization and checkpointing library☆12Jan 26, 2026Updated last month
- Literate Programming in C/C++☆36Mar 7, 2026Updated last week
- Source code for various tiny tools that I find useful and want to share.☆14Apr 30, 2025Updated 10 months ago
- Matlab toolbox for set-oriented numerics in dynamical systems☆20Jun 14, 2024Updated last year
- Backtracking yacc☆23Jan 27, 2026Updated last month
- Half-precision floating point for NumPy☆13Nov 10, 2010Updated 15 years ago
- C++20 and onward collection of high performance data containers and related tools☆56Updated this week
- PyInterval — Interval arithmetic in Python☆88Jun 13, 2017Updated 8 years ago
- A Python binding for ibex-lib☆14Mar 31, 2022Updated 3 years ago
- ☆10Apr 15, 2022Updated 3 years ago
- Tiny Test System☆27Mar 9, 2026Updated last 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
- The Fancy Named Parameters Library☆36Oct 21, 2025Updated 4 months ago
- Mirror of libco from byuu.org plus patches for Fluent Bit☆13Mar 27, 2023Updated 2 years ago
- A plugin for xournal++ with some handy key bindings.☆11Oct 9, 2024Updated last year
- 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
- ☆22Jul 7, 2024Updated last year
- 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
- This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series eva…☆21Oct 15, 2021Updated 4 years ago
- kv - a C++ Library for Verified Numerical Computation☆94Mar 15, 2025Updated last year
- 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
- ☆10Feb 12, 2026Updated last month
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- Tiger Compiler implemented in F#☆11Jul 11, 2021Updated 4 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
- Upload a Jupyter notebook as a Gist with the click of a button.☆20Sep 28, 2023Updated 2 years ago
- Float128 and libquadmath for the Julia language☆44Mar 9, 2026Updated last week
- 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
- A general purpose repo for all things Safecast related that might not fit in the other specific buckets.☆17Nov 17, 2019Updated 6 years ago
- Collection of debugger visualizers and filters Visual Studio☆23Jan 27, 2026Updated last month
- First order eccentricity transit timing variations computed in Agol & Deck (2015)☆13Aug 16, 2022Updated 3 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Sep 17, 2025Updated 6 months ago
- A modular, efficient and portable tool for running parallel approximate Bayesian computation algorithms.☆18Feb 20, 2021Updated 5 years ago