Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.

Forth metacompiler written in Lisp, for bootstrapping

Wonyong Koh's hForth, for 8086 and Z80, together with my ARM port and a 3/4-baked metacompiler

Formally correct DSLs

amrFORTH v7.1.0_beta +C8051F330 +CP2104 for gforth 0.6.2

A repo for my current compiler project

Fun stuffs from my class.

(In Progress) The answer to "What is beauty?" and all practical software problems.

a metalanguage for Timed and Concurrent Operational Semantics

Exploring metacompilers.