Library for exact real number computations
☆41Apr 5, 2015Updated 10 years ago
Alternatives and similar repositories for RealLib
Users that are interested in RealLib are comparing it to the libraries listed below
Sorting:
- Exact real arithmetic in C++☆49Oct 1, 2020Updated 5 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Dec 21, 2025Updated 2 months ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- von Neumann' architecture in von Neumann's CA☆15Sep 2, 2020Updated 5 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 3 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- Real number computation software☆129Aug 16, 2022Updated 3 years ago
- GAOL is not Just Another Interval Arithmetic Library☆19Dec 9, 2025Updated 2 months ago
- fast combinations calculation in jax☆39Jul 12, 2024Updated last year
- constructive abstract algebra☆104Jan 30, 2020Updated 6 years ago
- Postscript interpreter in JS using the HTML5 canvas☆28Mar 12, 2011Updated 14 years ago
- Clojure library for deferred namespace loading☆24Apr 29, 2018Updated 7 years ago
- The simplest production-ready XTDB setup.☆27May 24, 2023Updated 2 years ago
- RenderMan conversion tool for Disney's Moana Island Scene data set.☆35Aug 7, 2018Updated 7 years ago
- A proof of Abel-Ruffini theorem.☆30Oct 17, 2025Updated 4 months ago
- Demo running web assembly apps a terminal with blocking stdin/stdout/stderr☆26Oct 3, 2022Updated 3 years ago
- Physically-based shading experiments in Arnold renderer.☆30Jan 27, 2023Updated 3 years ago
- ☆38Oct 23, 2021Updated 4 years ago
- Modern Clojure client for the Stripe API☆38May 2, 2019Updated 6 years ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- provide upgraded replacements for Clojure editor infrastructure☆33Jun 16, 2024Updated last year
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 8 months ago
- ☆10Apr 18, 2021Updated 4 years ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 3 years ago
- An alternate syntax for Clojure inspired by Pollen.☆45Jun 11, 2023Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Nov 15, 2023Updated 2 years ago
- Repo for the development and maintenance of the Collection+JSON media type☆61Jun 28, 2019Updated 6 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- Remez algorithm for computing minimax polynomial approximations☆45Aug 10, 2020Updated 5 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- SHA-3 (KECCAK) Erlang NIFs (based on NIST reference C implementation)☆23Mar 3, 2023Updated 3 years ago
- Winforms app to convert Mapbox GL JSON styles to Mapzen YAML styles☆12Apr 30, 2019Updated 6 years ago
- Prime number library.☆12Sep 19, 2022Updated 3 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago