Libaffa is a C++ Affine Arithmetic library for GNU/Linux. Affine Arithmetic is a model proposed by Stolfi and Comba in the early 90's for numerical calculation. Unlike Interval Arithmetic, it keeps track of correlations between computed and input quantities, and is therefore resistant to the explosion error observed in long interval computations…
☆14Nov 18, 2013Updated 12 years ago
Alternatives and similar repositories for libaffa
Users that are interested in libaffa are comparing it to the libraries listed below
Sorting:
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Nov 25, 2022Updated 3 years ago
- Materials for the "Data Wrangling" CADi workshop @ "Tecnológico de Monterrey"☆10Dec 21, 2021Updated 4 years ago
- Attempt to complete the popular SolidWorks Challenges in FreeCAD's link branch☆12Apr 21, 2023Updated 2 years ago
- A template for Python projects using cookiecutter☆12Updated this week
- Ask ChatGPT directly from the Chrome address bar (omnibox)☆10Mar 23, 2023Updated 2 years ago
- Materials for the "Data Visualization" CADi workshop @ "Tecnológico de Monterrey"☆15May 27, 2025Updated 9 months ago
- ☆25Sep 11, 2025Updated 5 months ago
- Some simple attempts at building GeNN models☆10Oct 10, 2025Updated 4 months ago
- A Schematron tutorial, presentation and sample files.☆14May 1, 2020Updated 5 years ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- Remora firmware for RP2040 with W5500 Ethernet☆14Jul 21, 2024Updated last year
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated last year
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Metric Learning Library for Keras☆10Apr 24, 2019Updated 6 years ago
- DeepEverest: a system for efficient DNN interpretation.☆13Jan 22, 2024Updated 2 years ago
- An experimental IDE for solid modeling with distance fields☆28Jan 28, 2026Updated last month
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Jun 17, 2015Updated 10 years ago
- Bayesian optimisation for fast approximate inference in state-space models with intractable likelihoods☆13Nov 29, 2017Updated 8 years ago
- vsCode extension to list functions, symbols, bookmarks by configurable regular expressions☆13Jan 19, 2022Updated 4 years ago
- links related to computer graphics and geometry processing☆11Jun 8, 2025Updated 8 months ago
- Plotting workbench for FreeCAD.☆14Jan 21, 2026Updated last month
- A PI powered, portable, chess computer (retro build)☆23Dec 15, 2018Updated 7 years ago
- pyABC: distributed, likelihood-free inference☆13Jan 26, 2018Updated 8 years ago
- While language static analyzer☆10Oct 13, 2020Updated 5 years ago
- Graph Homomorphism Convolution (ICML'20)☆12Jul 6, 2023Updated 2 years ago
- Solving stochastic differential equations and Kolmogorov equations by means of deep learning and Multilevel Monte Carlo simulation☆12Aug 24, 2021Updated 4 years ago
- A 3D adaptation of the state-of-the-art sparrow nesting algorithm☆22Nov 26, 2025Updated 3 months ago
- ☆12Jul 16, 2023Updated 2 years ago
- Implementation of the Regularized Nonlinear Acceleration algorithm☆12Oct 4, 2018Updated 7 years ago
- ☆11Jan 12, 2018Updated 8 years ago
- OpenCV 2.4 support for AutoHotkey.☆14Feb 17, 2022Updated 4 years ago
- Headripper is an unofficial Headspace downloader that lets paying subscribers save, organize, and archive their library for offline use. …☆20Feb 10, 2026Updated 2 weeks ago
- Quick 'n dirty implementation of Featherstone's Articulated Bodies Algorithm☆13Mar 25, 2014Updated 11 years ago
- ☆13Aug 15, 2024Updated last year
- AutoHotkey v2 MCP Server with prompts, code completion, and diagnostics☆19Updated this week
- 6502 and compatible processor target for LLVM.☆14Apr 19, 2020Updated 5 years ago
- Capture windows in OBS with dynamic window titles☆12Oct 2, 2021Updated 4 years ago
- A collection tutorial materials for the Fall 2018 CSC411/CSC2515 (Introduction to Machine Learning) at the University of Toronto.☆16Nov 15, 2018Updated 7 years ago
- ☆18Jul 2, 2024Updated last year