Official repository for the REX virtual machine
☆12Mar 9, 2016Updated 10 years ago
Alternatives and similar repositories for R3X
Users that are interested in R3X are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dan Bernstein's qhasm package☆12Oct 10, 2015Updated 11 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆25Mar 16, 2020Updated 6 years ago
- Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)☆16Nov 14, 2013Updated 12 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- Firth is an experimental modern Forth for 64bit x86_64 processors☆13Sep 5, 2014Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Mu is a modern, modular, system programming language and scripting toolchain☆12Jan 13, 2016Updated 10 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- SwormOS is a hobbyist OS project. In development since 30.12.2014☆14Dec 18, 2015Updated 10 years ago
- A toy functional language created through the abuse of C☆20Sep 26, 2010Updated 16 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- Simple, orthogonal 32-bit computer architecture and environment☆28Aug 15, 2026Updated 2 months ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated 2 years ago
- Run OS/2 32bit applications on Windows (think Wine, but OS/2!)☆17Oct 11, 2026Updated 2 weeks ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆34Jul 23, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- ☆23Oct 12, 2024Updated 2 years ago
- KBoot boot loader☆30Jan 12, 2025Updated last year
- MikeOS' BASIC Compiler☆26Feb 21, 2022Updated 4 years ago
- x86-64 assembly µkernel☆15Oct 25, 2020Updated 6 years ago
- Updated LazyK source distribution☆19Nov 20, 2025Updated 11 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18May 28, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A portable, embeddable implementation of the BASIC programming language.☆16Feb 21, 2013Updated 13 years ago
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 7 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago
- C-- compiler upstream☆43Sep 22, 2020Updated 6 years ago
- A language for code golf.☆25Aug 26, 2013Updated 13 years ago
- A minimalistic library to help making your x86 assembly program bootable.☆25Apr 30, 2019Updated 7 years ago
- An Oberon-2 LLVM front-end☆23Sep 27, 2014Updated 12 years ago
- A small, embeddable BASIC interpreter in C.☆24Jan 16, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 11 years ago
- Custom Forth implementation for ARMv6 (RasPi)☆11Jun 25, 2020Updated 6 years ago
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago
- Stage 3 Dissertation project. The aim is to create an X86-32bit operating system as a vehicle to learn about operating systems from a stu…☆10Nov 18, 2018Updated 7 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆28Jul 26, 2026Updated 3 months ago
- Lambda calculus with Church encoding in C☆31Oct 11, 2018Updated 8 years ago