GitHub: TypeScript compiler and JavaScript engine in Lean

**Project Summary:** This open-source project, a TypeScript compiler and JavaScript engine built in Lean, may offer value to developers seeking a specific workf