A meta tracing JIT for x86 and interpreters written in C/C++
☆36Nov 29, 2016Updated 9 years ago
Alternatives and similar repositories for redmagic
Users that are interested in redmagic are comparing it to the libraries listed below
Sorting:
- A meta-JIT library for Rust interpreters☆164Feb 13, 2023Updated 3 years ago
- Implement a Stack VM Interpreter with a Register Window☆11Jan 2, 2024Updated 2 years ago
- yk packages☆39Updated this week
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 9 months ago
- ☆18Aug 20, 2019Updated 6 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Oct 4, 2021Updated 4 years ago
- Ordo: A minimalist language with row polymorphism☆86Feb 3, 2026Updated 3 weeks ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Dec 16, 2021Updated 4 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆24Sep 2, 2025Updated 5 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆49Sep 23, 2025Updated 5 months ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 11 years ago
- a steady descent into madness☆17Jun 22, 2025Updated 8 months ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 6 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Jun 30, 2024Updated last year
- The Egel Programming Language☆83Dec 25, 2025Updated 2 months ago
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated last year
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- Implementation for ICFP 2020 paper☆54Jul 5, 2021Updated 4 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 5 years ago
- Clickable tree view for JSON content. Single HTML file, no libraries required.☆12Oct 24, 2019Updated 6 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- [WIP] Compiler for the Limonite programming language.☆15Jul 7, 2022Updated 3 years ago
- Eris is an open source 16 bit retrocomputer design which can be built cheaply and easily☆12Oct 4, 2021Updated 4 years ago