tommythorn / fpgammix
Partial implementation of Knuth's MMIX processor (FPGA softcore)
☆47Updated 4 years ago
Related projects: ⓘ
- A microcontroller that natively executes a simple LISP dialect☆88Updated 7 months ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi☆99Updated 2 years ago
- Yet Another Forth Core...☆70Updated 10 years ago
- MLWorks is a Standard ML compiler and development environment.☆179Updated 6 years ago
- A just-in-time-compiling forth system using libfirm.☆56Updated 7 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Updated 4 years ago
- Stack CPU Work In Progress☆30Updated 8 months ago
- The Pascal-F Verifier☆46Updated 7 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆51Updated 7 years ago
- A small implementation of LISP for the Parallella-16 board☆31Updated last month
- The J1 CPU☆161Updated 3 years ago
- ☆23Updated 2 years ago
- MIT CADR original verilog and simulator☆16Updated 8 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago
- Compiler, loader, and simulator for the GA144 multi-computer chip☆31Updated 5 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 10 years ago
- Jonesforth RISC-V port.☆55Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- The Kent Retargetable occam Compiler☆42Updated 2 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆79Updated 3 years ago
- The BERI and CHERI processor and hardware platform☆45Updated 7 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆44Updated 3 years ago
- ☆18Updated 6 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆37Updated last year
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- A simple public-domain Forth implementation in C++☆56Updated 5 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆54Updated 5 years ago
- Forth for the J1-CPU☆16Updated 7 years ago
- How To Retarget the GNU Toolchain in 21 Patches☆82Updated 9 years ago
- Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/☆68Updated 7 years ago