Battelle / reductioLinks
An exploration of code homeomorphism
☆33Updated 7 years ago
Alternatives and similar repositories for reductio
Users that are interested in reductio are comparing it to the libraries listed below
Sorting:
- The web framework nobody asked for, wants, or needs.☆20Updated 4 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 6 months ago
- ARM is Turing-complete without data fetches☆18Updated 7 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- x86 assembler in scheme☆29Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- lang Thue + Regex☆15Updated 3 years ago
- A superset of brainfuck with dynamic memory management.☆30Updated 5 years ago
- An interactive tool for experimenting with LR(1) grammars☆19Updated 3 years ago
- Design a turing-complete marble run with ascii/unicode art☆56Updated 7 years ago
- Updated LazyK source distribution☆18Updated 3 weeks ago
- Writeup that goes along with this:☆15Updated 7 years ago
- A two-dimensional, triangular programming language.☆18Updated 4 years ago
- http://mroman.ch/burlesque☆14Updated 5 years ago
- ☆57Updated 8 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 5 months ago
- Simple and powerful programming language with type inference☆24Updated 8 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11Updated 7 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated 2 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- The Delphin Project☆10Updated 9 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago