My portfolio

A small-trace, aggressively-optimizing ISO/IEC 9899 (ISO-C) compiler || Work in Progress

The Cephyr C compiler, still at its infancy

The Guillmet Scheme (targets machine language) - WIP

Staging area for the GenAI project: VidGEN

Retail simulator game (for rep)

ForTyPE is a collection of formally-verified implementations of typesetting and page description tools (TeX, ROFF, PostScript)

Standards for the ISO C language, part of the CEPHYR project

An implementation of ISO Pascal in Haskell

A super-minimal stack-based virtual machine with Green threads, FFI, Stop-the-world GC, and a compact ISA [WIP!]

A dossier on the ROFF page formatting and typesetting language

An optimizing, retargetable ISO C Compiler with a custom backend, written in OCaml

A dossier on the PostScript language

The UNIX manpages for PostScript operators (+ the generator scripts)

A POSIX-compliant UNIX Shell [WIP]

Batmite is an intermediate representation toolset for compiler construction [WIP]

An encrypted hash table database and password manage

A TUI Pager for Markdown, a tool similar to man(1) or most(1), but renders Markdown in-terminal

An implementation of Zephyr ASDL in C, targeting C

Orax (Aurocks) is a C Optimizing Compiler [WIP]

A liteweight Non-Compliant OS [WIP]

Geezer is a domain-specific language for organizing your packages and libraries

Caraml is a functional language in the ML family [Early Stage]

RustyAWK is an implementation of POSIX AWK in Rust

Implementation of several functional language frontends for GCC

A website in Web-1.0 style, entirely made up of domain-specific languages, about languages!

PerlX is a superset of Perl packed with features not found in plain Perl [WIP]

A genealogy software described via a simple domain-specifc language

Zwyn is a version control system (VCS)