Empowering everyone to build reliable and efficient software.

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

🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.

Turso is an in-process SQL database, compatible with SQLite.

Static low-bandwidth search at scale

A toolbox for zkSNARKs on Ethereum

An extensible open-source framework for creating private/permissioned blockchain applications

An extremely fast LaTeX formatter written in Rust