GitHub repository: lucaferranti/DedekindCutArithmetic.jl
Primary language: Julia
Description: Exact real arithmetic using Dedekind cuts