TYPESCIPT

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic
15 points | 1 comments

In Defence of TypeScript Enums
12 points | 3 comments

Show HN: The every typeScript developer is LLM Agent Developer
6 points | 2 comments

AgentScript: A simple, observable code agent builder written in TypeScript
5 points | 2 comments

Show HN: I built a CLI for one-command fullstack TypeScript projects
3 points | 0 comments

Wordle in Svelte/TypeScript
3 points | 0 comments

TypeScript – Leveraging "unknown" instead of "any"
2 points | 1 comments