jessealama / REPOSITORY
thales
GitHub: TypeScript compiler and JavaScript engine in Lean
Developer toolsLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
1Top HN score
0Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE