Nils-TUD / GIMMIXLinks
Simulator for MMIX, a 64-bit big-endian RISC architecture, developed by Donald Knuth.
☆8Updated 8 months ago
Alternatives and similar repositories for GIMMIX
Users that are interested in GIMMIX are comparing it to the libraries listed below
Sorting:
- K42 Kernel☆28Updated 13 years ago
- A Machine-Independent Debugger☆34Updated 8 months ago
- Minimal LISP Compiler for x86_64☆12Updated 3 years ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- picotrace - system call process tracer☆39Updated 5 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- Small LISP-1 OS for x86-64 written in C, asm and Common Lisp☆11Updated 7 years ago
- scc - simple C Compiler☆58Updated 8 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- Teeny Tiny Compiler built in Rust☆16Updated last year
- Lisp Interpreter in 90 lines of C++ (not counting lines after the first 90).☆41Updated 9 years ago
- A bare-metal Forth for i386 machines.☆13Updated 6 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- A hobby operating system. Everyone's gotta have one.☆48Updated 14 years ago
- x86 assembler in scheme☆29Updated 6 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Updated 7 years ago
- Personal branch of git://c9x.me/qbe.git☆37Updated 3 years ago
- Implementation of the core of an exokernel-style operating system☆10Updated 10 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 11 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- ☆18Updated 5 years ago
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Virtual Machine and Assembler for Notch's DCPU-16 Architecture☆222Updated 13 years ago
- An esoteric programming language☆32Updated 4 years ago
- intelligent and automatic build system for C☆13Updated 4 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago