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
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- My esoteric languages☆27Updated 2 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- A small λ-calculus interpreter in C☆50Updated 10 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 8 months ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- loxi - a Lox interpreter☆33Updated 7 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆17Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- The Egel Programming Language☆84Updated last month
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Simple and powerful programming language with type inference☆24Updated 7 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 weeks ago
- Unofficial libjit mirror.☆59Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆9Updated last year
- lambda calculus interpreter☆39Updated 3 years ago
- Semantic analysis framework☆14Updated 2 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆14Updated 6 years ago
- minimalist pure lazy functional programming language (pythonic haskell)☆77Updated 3 weeks ago
- A Small Combinator-Reduction System☆14Updated 4 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- NaN-boxing in C (but not really NaN-boxing strictly speaking)☆115Updated 3 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- metamath proof enumerators and other things☆90Updated 6 months ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 7 years ago