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
- A microcontroller that natively executes a simple LISP dialect☆90Updated last year
- 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
- Yet Another Forth Core...☆71Updated 10 years ago
- Stack CPU Work In Progress☆30Updated last year
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated last year
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 5 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- My Own Linear Lisp☆38Updated 6 years ago
- Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bl…☆199Updated 4 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 11 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 4 years ago
- The Pascal-F Verifier☆48Updated 7 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆37Updated 12 years ago
- Kami based processor implementations and specifications☆22Updated 4 years ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 7 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 4 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆50Updated 3 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Formal specification of RISC-V Instruction Set☆98Updated 4 years ago
- The J1 CPU☆166Updated 4 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- ARV: Asynchronous RISC-V Go High-level Functional Model☆24Updated 3 years ago
- The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, mod…☆76Updated 4 years ago
- A Compact Scheme System for Microcontrollers☆183Updated 9 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- ☆23Updated 2 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Scheme 9 from Empty Space (Reimagined)☆72Updated 2 months ago