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

Do you want to use AI to boost productivity? Yes. Are you afraid to use AI in your codebase due to fear of it breaking everything handwritten? YES. Then Yori is for you, it solves this issue with Semantic Containers: disposable, versionable, auditable and high level code blocks $${ }$$ where the AI can run wild inside, but not touch anything out

Formally correct DSLs

A repo for my current compiler project

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

a metalanguage for Timed and Concurrent Operational Semantics

Fun stuffs from my class.

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

Exploring metacompilers.

Sollux is a self hosted metacompiler. It accepts as input a grammar decorated with tiles and produces as output a compiler written in C for the object language.