An implementation of an algebraically closed interval system of the extended real number set
☆101Dec 26, 2025Updated 9 months ago
Alternatives and similar repositories for interval-arithmetic
Users that are interested in interval-arithmetic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A versatile 2d function plotter☆1,063Sep 30, 2026Updated last week
- Reference type checker for the Lean theorem prover☆64Mar 17, 2017Updated 9 years ago
- Implementation of Pratt parser in C++11☆27Mar 15, 2015Updated 11 years ago
- Compute a definite integral using Simpson's Rule with adaptive quadrature☆23Mar 17, 2017Updated 9 years ago
- Recursive Wang tiles dataset for blue noise☆15Jan 29, 2016Updated 10 years 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.
- Spherical blue noise generator.☆17Jan 20, 2021Updated 5 years ago
- Stack machine simulation☆14Sep 25, 2012Updated 14 years ago
- A JavaScript implementation of the triangle tessellation algorithm from the OpenGL specification for tessellation shaders.☆17Jul 11, 2023Updated 3 years ago
- Captures mouse events on an element and translates them to trackball-like motion.☆19Aug 23, 2018Updated 8 years ago
- Documentation CSS style for Markdeep☆25Nov 25, 2017Updated 8 years ago
- Synth audio worklets☆13Sep 15, 2026Updated 3 weeks ago
- Hybrid raycast/mesh OpenGL voxel renderer☆10Jun 3, 2025Updated last year
- Basic mesh rendering module☆25May 15, 2024Updated 2 years ago
- A library and a CLI to create RAM disk on macOS and Linux.☆19Aug 26, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- livecoding observable-ish experiment, just an experiment☆22Jan 22, 2021Updated 5 years ago
- npm packages and users cross-referenced with GitHub user data, available as JSON download☆17Jul 18, 2017Updated 9 years ago
- Formats dates as the shortest equivalent ISO 8601 UTC string☆28Sep 24, 2021Updated 5 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆39Jul 6, 2017Updated 9 years ago
- Reuse typed arrays☆76Nov 23, 2021Updated 4 years ago
- Medical records you can copy and paste☆12Mar 3, 2023Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Javascript optimizer☆16Sep 29, 2026Updated last week
- A Javascript Impementation of Eugene W. Myers' O(ND) Difference Algorithm Linear with Space Refinement☆13Jul 19, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated last year
- The most popular spellchecking library. (converted to js using emscripten)☆12Feb 9, 2019Updated 7 years ago
- ☆14Sep 2, 2012Updated 14 years ago
- webassembly wat text format to binary compiler☆22Dec 7, 2022Updated 3 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Oct 2, 2026Updated last week
- An experimental approach to expressing vector math in js (tagged template literals)☆31Dec 25, 2022Updated 3 years ago
- Tsar programming language☆17Dec 22, 2019Updated 6 years ago
- C rewrite of a minimal Python JPEG decoder☆12Jan 2, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Generic topological sorting for sorting a list of dependencies in C++17☆15Oct 18, 2018Updated 7 years ago
- A list of all SciJS packages. Based on @hughsk's stack.gl/packages☆25Jan 14, 2016Updated 10 years ago
- import from tweeeeeeet!!!!!!!!!!!!!☆12Feb 23, 2018Updated 8 years ago
- Minimal LaTeX rendering server☆14Nov 19, 2022Updated 3 years ago
- Rotth is a stack based concatenative language highly inspired by Porth☆16Apr 3, 2024Updated 2 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 7 years ago
- resilient location sharing☆13Sep 23, 2021Updated 5 years ago