Select a tag to browse associated projects and drill deeper into the tag cloud.
Universal Numbers Arithmetic Library
U
Analyzed about 4 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.
Licenses:
No declared licenses
Flocq
F
No analysis available
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.
Mostly written in language not available
Licenses:
lgpv3_or_...