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

Parse, deparse and normalize SQL queries using the Postgres source code

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.

LaTeX language server, formatter, and linter

Language support for kanata configuration files in VS Code

A language server implementation for WGSL and WESL

🎨🦀 A system information tool for Rustaceans