Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Number::WithError

Compare

  Analyzed 5 days ago

Perl module for handling of numbers with arbitrary many uncertainties. Does automatic error propagation and scientific rounding. An extension for outputting the objects in LaTeX syntax is available.

3.17K lines of code

0 current contributors

almost 9 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: Artistic_..., GNU_Gener...

GNU MPC

Compare

  Analyzed 1 day ago

The MPC package contains a library for the arithmetic of complex numbers with arbitrarily high precision and correct rounding of the result.

20.4K lines of code

0 current contributors

almost 5 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This

Flocq

Compare

  Analyzed 1 day ago

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

43K lines of code

0 current contributors

almost 2 years since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This