3 results found Sort:

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,...
Created 2017-05-01
4,120 commits to main branch, last one about a month ago
20
240
mit
17
Constraint solver based on coverage-guided fuzzing
Created 2017-11-21
513 commits to master branch, last one 7 months ago
Calculate with error-free, faithful, and compensated transforms and extended significands.
Created 2018-01-26
443 commits to master branch, last one 2 years ago