tommythorn / fpgammix
Partial implementation of Knuth's MMIX processor (FPGA softcore)
☆51Updated 5 years ago
Alternatives and similar repositories for fpgammix:
Users that are interested in fpgammix are comparing it to the libraries listed below
- An FPGA microcontroller that natively executes LISP☆90Updated last year
- ☆54Updated 8 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
- MLWorks is a Standard ML compiler and development environment.☆180Updated 6 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆60Updated 5 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 5 years ago
- ☆23Updated 2 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 6 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆50Updated 3 years ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 7 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- The J1 CPU☆167Updated 4 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A small implementation of LISP for the Parallella-16 board☆31Updated 8 months ago
- Synthesis-Aided Compiler for GreenArrays GA144☆52Updated 8 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- 64-bit MISC Architecture CPU☆12Updated 8 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆43Updated 15 years ago
- MIT CADR original verilog and simulator☆16Updated 9 years ago
- A Tree Parser Generator☆95Updated 5 months ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 4 years ago
- Stack CPU Work In Progress☆30Updated last year
- Yet Another Forth Core...☆72Updated 10 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- ☆30Updated 7 years ago
- [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml☆119Updated 4 years ago
- Val Schorre's META-II☆60Updated 11 years ago