bergjohan / nasm_replLinks
☆10Updated 5 years ago
Alternatives and similar repositories for nasm_repl
Users that are interested in nasm_repl are comparing it to the libraries listed below
Sorting:
- Markup source code showing optimizations☆36Updated 6 years ago
- Effect handlers in C++☆126Updated 2 years ago
- A Valgrind tool for Herbie☆97Updated 3 years ago
- RLibm for 32-bit representations (float and posit32)☆60Updated 4 years ago
- Unison's source code☆110Updated last year
- A minimalistic and high-performance SAT solver☆147Updated 4 years ago
- Prototype implementation of Heartbeat Scheduling, in C++☆22Updated 3 years ago
- ☆55Updated last year
- A mirror of the CRLibm project from INRIA Forge☆50Updated 5 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- Lightweight framework for easy and efficient code generation☆104Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆50Updated 10 years ago
- C++ library for semigroups and monoids☆64Updated 2 weeks ago
- GAOL is not Just Another Interval Arithmetic Library☆18Updated last month
- Formally verified implementation of Alive in Lean☆41Updated 2 years ago
- A Valgrind tool for finding redundant loads/stores☆21Updated 6 years ago
- A Clang-based C++ Interoperability Library☆87Updated last week
- Online demo without installing at - https://buildit.so/tryit☆188Updated last month
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Updated last year
- ☆22Updated 10 months ago
- Super-parallel Python port of the C-Reduce☆317Updated last week
- Parallel Tasks Runtime☆34Updated 6 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Code generation tool to generate mathematical libraries☆58Updated 3 months ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆19Updated 2 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago