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 floating-point numbers and formal proof using 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 | 296 |
 openhwgroup/cvfpu | A flexible and parameterizable floating-point unit design for RISC-V processors | 440 |
 sebastianbiallas/ht | An editor/viewer/analyzer for executables. | 412 |
 fabian-jung/tsmp | Tool to generate meta-programming capabilities from source code analysis | 97 |
 ulfjack/ryu | A fast and efficient library for converting floating-point numbers to decimal strings. | 1,212 |
 shafik/determine_c_or_cpp | Compares C and C++ language features to determine their type and behavior | 196 |
 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 analysis tool for C/C++ programs based on Abstract Interpretation theory. | 2,746 |
 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 |