Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.

Extracting paths from assembly graphs

Render a JSON with jq patterns.

purple garden is a lean scripting language designed for performance, with aggressive optimisations, JIT compilation, fine-grained memory control, and optional garbage collection.

A language server implementation for WGSL and WESL

🎨🦀 A system information tool for Rustaceans

ALP floating point compression in Rust

A Rust compiler front-end for IDEs

Rails as a specification; the deployment target is a build flag