Pinned Loading

1. intensity-normalization intensity-normalization Public

   Normalize MR image intensities in Python

   Python 340 57

2. lean-rs lean-rs Public

   Rust bindings for Lean 4

   Rust 4 1

3. mdwright mdwright Public

   A fast, configurable, math-aware Markdown linter and formatter

   Rust

4. sga sga Public

   English translation of Grothendieck's Séminaire de Géométrie Algébrique du Bois-Marie (SGA) — searchable, linkable HTML preserving the original numbering

   Python 4

5. lean-host-mcp lean-host-mcp Public

   MCP server hosting Lean 4 in-process

   Rust

6. lean-fmt lean-fmt Public

   Code formatter and linter for Lean 4, with editor and CI integration.

   Lean 5 1