Modern camera app focused on privacy and security with QR & barcode scanning.

Servers for our website, HTTP/HTTPS connectivity checks, HTTPS network time, NTP (for Qualcomm XTRA), Broadcom PSDS cache, Samsung PSDS cache, Qualcomm PSDS (XTRA) cache, SUPL proxy, attestation ke…

Privacy and security enhanced releases of Chromium for GrapheneOS. Vanadium provides the WebView and standard user-facing browser on GrapheneOS. It depends on hardening in other GrapheneOS reposito…

A human-friendly notation for Unicode symbols.

An SVG rendering library.

A GPU compute-centric 2D renderer.

A high-level, ergonomic Rust library for creating PDF documents.

A PDF interpreter and renderer in pure Rust.

The math library of Lean 4

The Lean Computer Science Library (CSLib)

Functional Programming in Lean

Visual Studio Code extension for the Lean 4 proof assistant

A Rust verification tool

The strongly-typed, compiled embedded scripting language for Rust, used by Rotonda.

📸 Terminal output SVG screenshot tool

The Lean reference manual

Lean documentation authoring tool

Rust no-std, no-alloc LED control for spatial layouts 🟥🟩🟦

Theorem Proving in Lean 4

Lean 4 programming language and theorem prover

The Magic Mask for Android

Run multiple commands in parallel

TUI for Jujutsu/jj

trying to figure out this jujutsu thing

A verification toolchain for Rust programs

A precise specification for "Rust lite / MIR plus"

Solving i18n for client-side and resource-constrained environments.

Home of the Rust style team

The Rust specification