🔟 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.

Implements fractions (or rationals) in Java. Includes arithmetic functions, toString, equals, and hashCode

👩‍🌾 Rational field for JavaScript