Open Hub
Open Hub

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
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: gpl
Tags automated floating-point mathematics prover tool verification

Universal Numbers Arithmetic Library

Compare

  Analyzed 11 months 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

12 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: No declared licenses
Tags AI-Deep-learning arithmetic c++ cfloat complex computational-math dsp exact fixed-point floating-point HPC integer 8 more...

canonical-random-float

Compare

  Analyzed 11 months ago

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

168 lines of code

0 current contributors

over 6 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl3
Tags floating-point random randomnumbergenerator