tommythorn / fpgammix
Partial implementation of Knuth's MMIX processor (FPGA softcore)
☆48Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for fpgammix
- A microcontroller that natively executes a simple LISP dialect☆89Updated 10 months ago
- Yet Another Forth Core...☆70Updated 10 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Updated 4 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆51Updated 7 years ago
- Compiler, loader, and simulator for the GA144 multi-computer chip☆31Updated 5 years 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
- ☆87Updated 2 years ago
- A just-in-time-compiling forth system using libfirm.☆56Updated 7 years ago
- The J1 CPU☆163Updated 4 years ago
- Stack CPU Work In Progress☆30Updated 10 months ago
- MLWorks is a Standard ML compiler and development environment.☆179Updated 6 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆38Updated last year
- A self-contained computer with its own display and keyboard, based on an ATmega328 or ATmega1284, that you can program in Lisp.☆68Updated 7 years ago
- A user-expandable micro-computer system that runs on an FPGA development board and includes the FORTH software language. The system is cu…☆27Updated 5 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆53Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- Python based tool chain for the GA144 multi-computer chip☆18Updated last year
- A Compact Scheme System for Microcontrollers☆181Updated 9 years ago
- A small implementation of LISP for the Parallella-16 board☆31Updated 3 months ago
- Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bl…☆197Updated 4 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 2 years ago
- Whisk: 16-bit serial processor for TT02☆12Updated last month
- ☆23Updated 2 years ago
- MIT CADR original verilog and simulator☆16Updated 8 years ago
- How To Retarget the GNU Toolchain in 21 Patches☆82Updated 9 years ago
- Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluat…☆75Updated 3 years ago
- Kami based processor implementations and specifications☆22Updated 4 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆47Updated 3 years ago
- The Pascal-F Verifier☆46Updated 7 years ago
- 64-bit MISC Architecture CPU☆11Updated 7 years ago