Tags : Browse Projects

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

Gappa

Compare

  No analysis available

The Gappa tool helps developers to verify arithmetic properties on their numerical programs (either floating-point or fixed-point computations). It can also generate formal proofs of the properties for extra confidence. It has been successfully used with several projects, e.g. for writing some ... [More] robust floating-point filters of CGAL and for certifying the elementary functions of CRlibm. [Less]

0 lines of code

2 current contributors

0 since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: gpl

Universal Numbers Arithmetic Library

Compare

  Analyzed about 17 hours ago

Universal contains a large collection of number systems providing custom arithmetic and mixed-precision algorithms for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.

155K lines of code

6 current contributors

2 months since last commit

1 users on Open Hub

Low Activity
0.0
 
I Use This
Licenses: No declared licenses

canonical-random-float

Compare

  Analyzed about 8 hours ago

Efficient canonical floating-point random number generator with fully random fraction bits

168 lines of code

0 current contributors

over 5 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This