Official repository for the REX virtual machine
☆12Mar 9, 2016Updated 9 years ago
Alternatives and similar repositories for R3X
Users that are interested in R3X are comparing it to the libraries listed below
Sorting:
- Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)☆15Nov 14, 2013Updated 12 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- Visualization of the surreal number tree.☆11Nov 19, 2021Updated 4 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆23Mar 16, 2020Updated 5 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 13 years ago
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- VHLT V34 source code. Check the branches for versions with ifdefs removed for easier reading☆18Oct 24, 2023Updated 2 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- C-- compiler upstream☆43Sep 22, 2020Updated 5 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Jul 23, 2016Updated 9 years ago
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- A Henkin-style completeness proof for the modal logic S5☆17Jun 20, 2021Updated 4 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- ☆22Apr 1, 2013Updated 12 years ago
- An Oberon-2 LLVM front-end☆23Sep 27, 2014Updated 11 years ago
- A minimalistic library to help making your x86 assembly program bootable.☆25Apr 30, 2019Updated 6 years ago
- ☆22Oct 12, 2024Updated last year
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- tcbasic is a small BASIC Interpreter written in C.☆21Jun 2, 2022Updated 3 years ago
- Winnie - An experimental window system (Last demo: https://www.youtube.com/watch?v=UyIRXdbtlkM http://i.imgur.com/mX6BTnr.jpg)☆30Apr 23, 2013Updated 12 years ago
- A real-time 3D distance field modeling software☆23Dec 8, 2017Updated 8 years ago
- x86-64 assembly µkernel☆16Oct 25, 2020Updated 5 years ago
- SwormOS is a hobbyist OS project. In development since 30.12.2014☆14Dec 18, 2015Updated 10 years ago
- Embedded C code generation DSL for Haskell.☆29Mar 25, 2019Updated 6 years ago
- MikeOS' BASIC Compiler☆25Feb 21, 2022Updated 4 years ago
- A small, embeddable BASIC interpreter in C.☆23Jan 16, 2018Updated 8 years ago
- A 2-D programming language inspired by Hexagony☆25Updated this week
- A framework for making 2D DOS games in Lua☆38Aug 22, 2025Updated 6 months ago
- OpenNT 5 Core☆24Mar 5, 2017Updated 8 years ago
- A lazy non-deterministic concatenative programming language☆55Aug 3, 2013Updated 12 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆31Feb 10, 2026Updated 2 weeks ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42May 7, 2025Updated 9 months ago
- Classic Modula-2 Source to Source Translator☆29May 15, 2023Updated 2 years ago
- A collection of programming languages and type systems.☆33May 11, 2025Updated 9 months ago
- Win16 NE (New Executable) parser & disassembler☆32Jul 26, 2025Updated 7 months ago