Battelle / reductioLinks
An exploration of code homeomorphism
☆36Updated 7 years ago
Alternatives and similar repositories for reductio
Users that are interested in reductio are comparing it to the libraries listed below
Sorting:
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 5 years ago
- The web framework nobody asked for, wants, or needs.☆20Updated 5 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 9 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 7 years ago
- lang Thue + Regex☆15Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Tetris for x86 in bad C. Succeeded by Tetrasm.☆64Updated 10 years ago
- JIT compiler of scheme☆15Updated 14 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11Updated 7 years ago
- Attribute grammar Based Language Extensions for C☆41Updated 2 months ago
- "Research" on how to best optimize brainfuck code.☆75Updated 3 years ago
- Mal Lisp for TempleOS☆117Updated 4 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- x86 assembler in scheme☆29Updated 6 years ago
- Simple and powerful programming language with type inference☆24Updated 8 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- compiler for x86 in 100 bytes☆69Updated 11 years ago
- Tiny modular assembler & vm for lightweight control microcode☆37Updated 5 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Updated last month
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Coq library for verified low-level programming☆61Updated 8 years ago
- ☆58Updated 9 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Updated 3 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- A superset of brainfuck with dynamic memory management.☆30Updated 5 years ago
- A lightweight, customizable, interpreted programming language☆12Updated 6 years ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Updated 5 years ago