🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.
A symbolic library written purely in Nim with the ability to compile expressions into efficient functions.
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq
Numbers in Standard ML
Given a rational number n, n >= 0, with denominator strictly positive, decompose this number as a sum of rationals with numerators equal to one and without repetitions.
Set AI coding quotas and track usage directly from your Windows tray.
🛡️ Detect and prevent ration distribution issues in Public Distribution Systems with RationTrack, ensuring transparency and accountability for better outcomes.
Header-only library for error control coding (ECC) simulations and experiments. Can deal with arbitrary finite fields and complex field relationships, based on compile-time or runtime LUTs. Provides data structures and algorithms for matrices, vectors, and polynomials.
👩🌾 Rational field for JavaScript
To associate your repository with the rationals topic, visit your repo's landing page and select "manage topics."