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.

Git CLI tool for intelligently creating branch names(github.com)

24 points by Terretta 1 year ago | 27 comments

The Concise TypeScript Book(github.com)

171 points by revskill 3 years ago | 72 comments

The Concise TypeScript Book(github.com)

204 points by javatuts 9 months ago | 49 comments

RZK: Experimental proof assistant for synthetic ∞-categories(github.com)

54 points by adamnemecek 3 years ago | 37 comments