understanding_floatingpoint
Floating point analysis
An exploration of the intricacies and limitations of floating-point arithmetic in C++
0 stars
1 watching
0 forks
Language: C++
last commit: over 5 years ago
Linked from 1 awesome list
caerind/awesomecppgamedevRelated projects:
| Repository | Description | Stars |
|---|---|---|
 thery/flocqlecture | An introductory course on formalizing floating-point numbers and their applications in Coq | 6 |
 ucb-bar/berkeley-hardfloat | An open-source project providing hardware floating-point units in Chisel for efficient floating-point arithmetic and conversion operations | 290 |
 openhwgroup/cvfpu | A parametric floating-point unit with support for various formats and operations | 438 |
 sebastianbiallas/ht | A tool for analyzing and editing executable files | 411 |
 fabian-jung/tsmp | Tool to generate meta-programming capabilities from source code analysis | 95 |
 ulfjack/ryu | A fast and efficient library for converting floating-point numbers to decimal strings. | 1,204 |
 shafik/determine_c_or_cpp | Compares C and C++ language features to determine their type and behavior | 197 |
 shinmera/float-features | Provides additional IEEE floating point features not covered by the Common Lisp standard. | 29 |
 fare9/pba_analysis_tools | Custom C++ implementations of analysis tools from the book Practical Binary Analysis | 52 |
 secrary/findloop | Automates identification of frequently executed code blocks in executables using DynamoRIO to generate breakpoints for analysis | 26 |
 zhuangbiaowei/open_source_analysis | An analysis of notable software projects | 21 |
 ahhz/raster | A C++ library for analyzing and processing raster data from GIS sources | 50 |
 nasa-sw-vnv/ikos | A static analyzer for C/C++ programs that uses Abstract Interpretation to detect errors and vulnerabilities. | 2,292 |
 libcg/bfp | An implementation of a compact and accurate floating-point format suitable for embedded systems | 289 |
 chao-peng/sif | A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code. | 50 |