Proof — what I've actually built

Independently verifiable work. Authored libraries show their GitHub stars; in-progress and prior work is described honestly.

Meta-programming & language engineering (the moat)

Originated and maintained by me; stars are independent signal. These are language-extension tools — macros, DSLs and literate tooling that make a language fit the problem.

Repo	★	What it proves
literate-lisp	69	Load Common Lisp from Org files — literate-programming depth
literate-elisp	49	Load Emacs Lisp from Org files — the engine behind my agent docs
s-graphviz	26	An s-expression DSL for GraphViz DOT in Common Lisp
literate-clojure	15	Literate programming for Clojure/ClojureScript
literate-smalltalk	6	Literate programming for Smalltalk

In progress: a Common Lisp implementation of the ECMAScript specification (early stage) — language-implementation work at spec level.

AI-augmented development

I develop with AI coding agents daily through a literate org-mode workflow — every step documented, reproducible and reviewable.
Authored emacs-agent — a native Emacs SDK for code agents with org-mode as the interactive UI.

Expert systems & symbolic AI

Gensym G2 — a commercial real-time expert-system platform: found root causes of issues and shipped new features, in ANSI Common Lisp / LispWorks.
NLP / BNF parsing — built an English + Chinese question parser on a context-free BNF parser in Common Lisp; see also lkb (★5, Linguistic Knowledge Builder).

Security & reverse engineering

Repo	★	What it proves
capstone	6	Common Lisp interface to the Capstone disassembler
cdb-mi	3	WinDbg debugging inside Emacs — Windows RE/security

Background: years of antivirus-engine and Windows kernel-driver reverse engineering at Kingsoft.

Production & third-party validation

A commercial product written in ANSI Common Lisp, featured as a LispWorks success story.

Writing

Selected technical writing and literate-programming projects — see Writing.