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:
- C++ library for semigroups and monoids☆63Updated 2 weeks ago
- Prototype implementation of Heartbeat Scheduling, in C++☆22Updated 3 years ago
- Unison's source code☆109Updated last year
- RLibm for 32-bit representations (float and posit32)☆60Updated 4 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Parallel Tasks Runtime☆34Updated 6 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- A Valgrind tool for Herbie☆97Updated 3 years ago
- Effect handlers in C++☆123Updated 2 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆33Updated last year
- Formally verified implementation of Alive in Lean☆38Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- BSD Licensed Bignum Library☆232Updated last year
- A Clang-based C++ Interoperability Library☆86Updated last week
- A mirror of the CRLibm project from INRIA Forge☆49Updated 5 years ago
- ☆55Updated last year
- Fast combinatorics in C++ using SSE/AVX instruction sets☆17Updated last month
- Code generation tool to generate mathematical libraries☆58Updated 2 months ago
- Sigmoid Numbers for Julia☆88Updated 7 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Elastic Tabstop expander for the CLI☆13Updated 10 years ago
- A minimalistic and high-performance SAT solver☆146Updated 4 years ago
- MimIR is my Intermediate Representation☆84Updated last week
- Lightweight framework for easy and efficient code generation☆104Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆130Updated 2 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- Cerberus C semantics☆79Updated 2 weeks ago
- Markup source code showing optimizations☆36Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆209Updated last year
- Successor to PolyBoRi☆21Updated 2 months ago