3 results found Sort:

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, contro...
Created 2017-05-01
4,130 commits to main branch, last one 3 months ago
20
240
mit
17
Constraint solver based on coverage-guided fuzzing
Created 2017-11-21
513 commits to master branch, last one about a year ago
Calculate with error-free, faithful, and compensated transforms and extended significands.
Created 2018-01-26
443 commits to master branch, last one 3 years ago