cbiffle / cfm
A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
☆58Updated 3 years ago
Alternatives and similar repositories for cfm
Users that are interested in cfm are comparing it to the libraries listed below
Sorting:
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆27Updated 2 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 15 years ago
- A version of the Lisp programming language for RISC-V based boards.☆28Updated 4 months ago
- Jonesforth RISC-V port.☆59Updated 4 years ago
- ☆29Updated 4 years ago
- Vermicel is a minimal RISC-V core.☆9Updated 10 months ago
- Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)☆45Updated 4 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 4 months ago
- Kansas Lava☆47Updated 5 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A Forth-like programming language that targets the AbleVM☆47Updated 2 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 6 years ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago
- Projects to get started with Clash☆28Updated 4 months ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆17Updated 2 years ago
- Compile-time const Forth evaluation with macros☆35Updated 2 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- a Java VM implemented in Forth☆40Updated 13 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- Making Mes.c M2-Planet friendly☆30Updated 2 years ago
- Bootstrapping tools for Janneke's MES☆35Updated last week
- A Verilog parser for Haskell.☆34Updated 3 years ago
- HardCaml example designs☆18Updated 6 years ago
- Finds optimal code sequences for stack transformations☆24Updated 6 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆52Updated 8 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆16Updated 6 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago