Tags : Browse Projects

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

GNU MPC

Compare

  Analyzed about 4 hours 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

php_component_data_type

Compare

  Analyzed about 12 hours ago

This component includes class definitions for php basic data types like: * Boolean * Floating point * Integer * String * Numeric By using this component, you are able to use type hints also for basic data types. The data types are shipped with some simple but useful methods.

1.59K lines of code

0 current contributors

about 5 years since last commit

1 users on Open Hub

Inactive
5.0
 
I Use This

Posit Arithmetic

Compare

  Analyzed about 6 hours ago

Universal Number Arithmetic

44.8K lines of code

6 current contributors

about 2 months since last commit

1 users on Open Hub

High Activity
0.0
 
I Use This
Licenses: No declared licenses

Flocq

Compare

  Analyzed about 7 hours 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

Interval Package for Coq

Compare

  Analyzed 2 days ago

This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

31.7K lines of code

0 current contributors

about 1 year since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This