jessealama/thales
TypeScript compiler and JavaScript engine in Lean
10 best points · 0 comments · 2 Hacker News posts · 68 GitHub stars · View on GitHub
Hacker News discussions
- Thales – TypeScript compiler and JavaScript engine in Lean (10 points, 0 comments, by michaelkrem, 2026-04-30)
- GitHub: TypeScript compiler and JavaScript engine in Lean (2 points, 0 comments, by fagnerbrack, 2026-07-18)