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 5 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆39Updated last year
- Zig Optimizing Backend☆24Updated 6 months ago
- the WebAssembly partial evaluator☆110Updated 3 months ago
- HDL development environment on Nix.☆26Updated last year
- ☆16Updated 3 months ago
- Preview Zig's incremental linker state in interactive HTML☆45Updated 3 years ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆18Updated last year
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆24Updated last year
- ☆174Updated 3 months ago
- McLulang: The message is the language☆12Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- Bike game☆14Updated last year
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆33Updated last year
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆20Updated 7 months ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 5 years ago
- Dogma: A modernized metalanguage with better expressiveness and binary grammar support☆64Updated 2 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago
- A command line program to show a table of timezones☆13Updated 8 months ago
- A curly-braces infix language that compiles to WebAssembly☆55Updated 2 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆33Updated 7 months ago
- An infinite canvas implementation in <500 LOC.☆27Updated last year
- ☆54Updated 3 years ago
- Test materials for getting JIT support for wizer☆120Updated 3 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Prototype interface for accessing USB devices from WebAssembly Components☆20Updated 6 months ago
- A repository for the stack switching proposal.☆182Updated 2 months ago
- Reduced Embeddable More Or Less Tcl☆11Updated 10 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 3 months ago