Incremental Program Analysis Framework
szabta89
language verification, construction, and analysis
joelburget
The fastest way to build a language
keyboardDrummer