Libre Caslon Text, originally started by Impallari, and upgrade here as a VF

A place to draft and prepare community proposals.

Collection of quotes on notation design & how it affects thought.

A POC static type checker for Typst

Empowering everyone to build reliable and efficient software.

XPath, XSLT

A human-friendly notation for Unicode symbols.

Beautiful and reliable typst code formatter

A Haskell library for converting LaTeX math to MathML.

hyperpolyglot.org

TeX-to-MathML conversion library in JavaScript

Programming Language Theory λΠ

Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays

A statically typed programming language for scientific computations with first class support for physical dimensions and units

A prompt engineering functional programming language

Indentation-based Racket Syntax -- MOVED TO: https://git.leastfixedpoint.com/tonyg/racket-something

RFCs for Racket 2 design

Typst symbol classifier

A markup-based typesetting system that is powerful and easy to learn.

C89 expressions parsed with the shunting yard algorithm in Python

Reprinting Vaughan Pratt's Paper on Top Down Operator Precedence Parsing

A generalized Pratt parsing framework that uses preconditioned dispatching and can optionally check and overload on simple types.