An error-correcting parser that finds low-cost token repairs and preserves ambiguous alternatives for IDE-quality recovery.
An offline WebAssembly transformer that specializes hot call paths under a strict code-size and validation budget.
A compiler kernel that memoizes semantic queries, tracks fine-grained dependencies, and invalidates only facts affected by an edit.
A stack-bytecode optimizer that emits machine-checkable equivalence certificates for every local rewrite.
A defensive binary-analysis workbench that lifts a small executable format into typed SSA and validates control-flow recovery against an emulator.
A static analysis engine that infers file, network, process, and clock effects and verifies them against explicit capability contracts.
A cross-language layout engine that computes records, padding, calling conventions, and binary-compatibility witnesses from declarative ABIs.
A source-to-source refactoring engine that proves binding and control-flow obligations before applying a patch.
A hygienic macro tracer that reconstructs expansion phases, scope marks, and source origins as a reversible execution history.
To associate your repository with the programming-languages-compilers topic, visit your repo's landing page and select "manage topics."