Optimize floating-point expressions for accuracy
7 daysStars89624h gain0Score0.1
Search
Find trending repositories by name or description.
4 results for “floating-point”
RankRepository7 daysStars24h gainScore
High-efficiency floating-point neural network inference operators for mobile, server, and Web
7 daysStars2.4k24h gain-Score0.0
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
7 daysStars41124h gain0Score0.0
A fast floating-point-to-string conversion library for C and C++
7 daysStars46424h gain0Score0.0