bergjohan / nasm_replLinks
☆10Updated 4 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:
- Command line editor, C api, readline replacement☆25Updated 6 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Universal Number Library☆42Updated 7 years ago
- Filesystem access tracer☆84Updated 10 months ago
- persistent monitor (for static source code analysis, GCC based)☆60Updated last year
- Lambda calculus with Church encoding in C☆31Updated 6 years ago
- ☆19Updated 6 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆15Updated last month
- Like `which`, for dynamic libraries☆40Updated 6 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- ☆34Updated 4 years ago
- Code generation tool to generate mathematical libraries☆56Updated 4 months ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Parallel Tasks Runtime☆33Updated 5 years ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- C++ library for semigroups and monoids☆47Updated last week
- Partial evaluation of Python code☆22Updated 2 years ago
- Floating-Point Scalar Evolution☆12Updated 6 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- A diff tool that highlights changes at the token (rather than line) level☆12Updated 2 years ago
- Small Fast S-Expression Library☆79Updated 7 months ago
- Execute and document benchmarks reproducibly.☆91Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆45Updated last month
- ☆11Updated 3 years ago
- BQN implementation in Julia☆18Updated 3 years ago