LemmaScript, a verification toolchain for TypeScript via Dafny
TypeScript to Dafny verification with 123 lemmas proving invariants on real apps.
A `typescript-go` toolchain for compiler-powered plugins and type-safe execution + 500x faster lint integrated into compiler
Compiler-integrated linting at 1600x eslint speed — architectural innovation, not just optimization.
TypeScript developers, performance-focused engineering teams
eslint · Biome · oxlint
Making the ttsc, I understood that the new plugin toolchain system can dramatically reduce lint rule checking time by integrating into the typescript-go. So made `@ttsc/lint`, and its time is 600x to 1600x faster than eslint.
This repository is not v1 yet because the typescript-go has not been released yet, but if you wanna experience superfast lint, or keep using typia in typia era, you can do it right now.
TypeScript to Dafny verification with 123 lemmas proving invariants on real apps.
Yet another Markdown compiler when remark and unified already dominate the ecosystem.
10x faster than ts-node with actual type checking using the new Go compiler.
TypeScript compiler using Google Closure Compiler for type-driven size optimizations.
TypeScript-to-native-code compiler eliminates Electron entirely; fast startup, zero GC pauses.
Header mode drops implementation noise for 70% token reduction versus pasting files.