Show HN: Zero-codegen, no-compile TypeScript type inference from Protobufs(github.com)

123 points by 18nleung 1 year ago | 53 comments

Typst: An easy to learn alternative for LaTex(github.com)

550 points by vogu66 2 years ago | 166 comments

GitHub repository for Typst, a new markup-based typesetting system positioned as an easier-to-learn alternative to LaTeX.

The Concise TypeScript Book(github.com)

204 points by javatuts 9 months ago | 49 comments

Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary(github.com)

253 points by maxloh 3 months ago | 146 comments

MichiganTypeScript: A WebAssembly runtime implemented in TypeScript types(github.com)

64 points by Philpax 1 year ago | 5 comments

Free-types: Higher kinded types in TypeScript(github.com)

54 points by DesertVarnish 3 years ago | 41 comments

TypeScript 7(devblogs.microsoft.com)

670 points by DanRosenwasser 3 months ago | 266 comments

Microsoft Dev Blogs post announcing the release of TypeScript 7.0, a native port of the TypeScript compiler described as 10x faster.

Pretext: TypeScript library for multiline text measurement and layout(github.com)

359 points by emersonmacro 7 months ago | 63 comments

GitHub repository for Pretext, Cheng Lou's MIT-licensed TypeScript library for measuring and laying out multiline text.

Tsrs: A Port of TypeScript to Rust(blog.cloudflare.com)

409 points by hnisjafx40 6 days ago | 213 comments

Cloudflare blog post announcing tsrs, a port of the TypeScript compiler to Rust, covering performance gains, motivation, and maintenance plans.

TypeScript types can run DOOM [video](youtube.com)

1270 points by franky47 1 year ago | 331 comments

YouTube video from Michigan TypeScript showing DOOM running entirely within the TypeScript type system.

TypeChat(microsoft.github.io)

482 points by DanRosenwasser 3 years ago | 145 comments

Microsoft blog post introducing TypeChat, an experimental library that uses TypeScript type definitions to get type-safe structured responses from LLMs.

Ty: A fast Python type checker and language server(github.com)

835 points by arathore 1 year ago | 271 comments

GitHub repository for ty, Astral's extremely fast Python type checker and language server written in Rust.