GitHub topics: rationals
HugoGranstrom/symbolicnim
A symbolic library written purely in Nim with the ability to compile expressions into efficient functions.
Language: Nim - Size: 173 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 41 - Forks: 2
tompazourek/Rationals
🔟 Implementation of rational number arithmetic for .NET with arbitrary precision.
Language: C# - Size: 1.97 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 76 - Forks: 12
wenkokke/EnumeratingTheRationals 📦
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq
Language: Coq - Size: 374 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0
make-github-pseudonymous-again/js-rational-field
:woman_farmer: Rational field for JavaScript
Language: JavaScript - Size: 3.28 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
ProjectSavanna/numbers
Numbers in Standard ML
Language: Standard ML - Size: 20.5 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
FHArchive/Java.Rational
Implements fractions (or rationals) in Java. Includes arithmetic functions, toString, equals, and hashCode
Language: Java - Size: 157 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
katarzynaadamczyk/Some_Egyptian_fractions
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.
Language: C++ - Size: 309 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
