brianquinlan / brainfuck-jit
A simple Brainfuck JIT written as a learning exercise.
☆15Updated 5 years ago
Alternatives and similar repositories for brainfuck-jit:
Users that are interested in brainfuck-jit are comparing it to the libraries listed below
- A home-made stack based language heavily inspired from PostScript☆11Updated 5 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 10 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- A compiler synthesizer for simple languages.☆15Updated 6 years ago
- Simple and powerful programming language with type inference☆24Updated 8 years ago
- lang Thue + Regex☆14Updated 2 years ago
- Self-hosting compiler for the Grace programming language☆39Updated 9 months ago
- SKI combinators☆54Updated 7 years ago
- Linux kernel library functions formally verified.☆50Updated 4 years ago
- A superset of brainfuck with dynamic memory management.☆27Updated 4 years ago
- My esoteric languages☆27Updated 2 years ago
- The fluffy programming language main repository☆24Updated 12 years ago
- An imperative, statically but weakly typed systems programming language with manual memory management.☆13Updated last year
- MimIR is my Intermediate Representation☆60Updated last week
- Benchmark repository of polyglot effect handler examples☆23Updated 4 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 4 years ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆27Updated 2 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆14Updated 6 years ago
- The Tuplex programming language tools.☆16Updated 4 years ago
- Unlambda interpreter☆12Updated 8 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year