understanding_floatingpoint
by Ushio
AI summary
Floating point analysis
An exploration of the intricacies and limitations of floating-point arithmetic in C++
- stars
- 0
- forks
- 0
- watching
- 1
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
Floating-point processor
An open-source project providing hardware floating-point units in Chisel for efficient floating-point arithmetic and conversion operations
Floating-point unit
A flexible and parameterizable floating-point unit design for RISC-V processors
Executable file viewer/editor
An editor/viewer/analyzer for executables.
Code analyzer
Tool to generate meta-programming capabilities from source code analysis
ulfjack/ryu1.2K
Float converter
A fast and efficient library for converting floating-point numbers to decimal strings.
Language Comparer
Compares C and C++ language features to determine their type and behavior
Float library
Provides additional IEEE floating point features not covered by the Common Lisp standard.
Binary analysis tools
Custom C++ implementations of analysis tools from the book Practical Binary Analysis
Code debugger
Automates identification of frequently executed code blocks in executables using DynamoRIO to generate breakpoints for analysis
Project list
An analysis of notable software projects
Raster analyzer
A C++ library for analyzing and processing raster data from GIS sources
nasa-sw-vnv/ikos2.7K
Static analyzer
A static analysis tool for C/C++ programs based on Abstract Interpretation theory.
libcg/bfp289
Compact float
An implementation of a compact and accurate floating-point format suitable for embedded systems
Contract analyzer
A framework to analyze and instrument Solidity smart contracts by parsing their abstract syntax trees (ASTs) and generating modified source code.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions understanding_floatingpoint.
