bergjohan / nasm_repl
☆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
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- Universal Number Library☆41Updated 6 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆103Updated 5 months ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- MimIR is my Intermediate Representation☆58Updated this week
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Sorting with Singeli☆11Updated 3 months ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Parallel Tasks Runtime☆34Updated 5 years ago
- ☆11Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 6 months ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 10 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 7 years ago
- A list of compilers with some metadata.☆12Updated 8 months ago
- Arena allocator for Python objects.☆11Updated 4 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 11 months ago
- Comparison of build program expressive power☆86Updated 5 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- arbitrary precision arithmetic library☆42Updated 6 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- A home-made stack based language heavily inspired from PostScript☆11Updated 5 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- racket llvm C-API bindings☆17Updated 2 months ago