danielreuter / autofunctionLinks
a metaprogramming language that compiles from types
☆10Updated last year
Alternatives and similar repositories for autofunction
Users that are interested in autofunction are comparing it to the libraries listed below
Sorting:
- Unofficial LLVM/Clang/LLD WebAssembly packages☆30Updated last month
- Wasm Analysis Framework For Lightweight Experiments☆53Updated 4 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆39Updated last year
- the WebAssembly partial evaluator☆108Updated 3 months ago
- Zig Optimizing Backend☆23Updated 5 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆49Updated last month
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆24Updated last year
- HDL development environment on Nix.☆26Updated last year
- Preview Zig's incremental linker state in interactive HTML☆45Updated 3 years ago
- ☆58Updated 4 months ago
- ☆174Updated 3 months ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆65Updated 2 years ago
- bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…☆23Updated last month
- Test materials for getting JIT support for wizer☆120Updated 3 years ago
- Bike game☆14Updated last year
- Reduced Embeddable More Or Less Tcl☆11Updated 10 months ago
- memory-mapped registers for x86_64 systems☆35Updated 4 years ago
- The Solid-State Register Allocator☆87Updated 3 years ago
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆155Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- ☆54Updated 3 years ago
- zine/book about bitmap drawing algorithms and math with code examples in Rust☆49Updated 3 years ago
- Easy SMT solver interaction☆34Updated 4 months ago
- a tool for reinterpreting ELF executables and shared libraries☆335Updated last year
- McLulang: The message is the language☆12Updated last year
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆33Updated 7 months ago
- A curly-braces infix language that compiles to WebAssembly☆55Updated 2 years ago
- ☆273Updated this week
- A draft proposal for spawning threads in WebAssembly☆78Updated last month
- Symbolic execution of LLVM IR☆13Updated last year