Pinned Loading

1. intensity-normalization intensity-normalization Public

   Normalize MR image intensities in Python

   Python 342 57

2. lean-dup lean-dup Public

   Duplicate detector for Lean

   Rust

3. lean-rs lean-rs Public

   Rust bindings for Lean 4

   Rust 1

4. mdwright mdwright Public

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

   Rust

5. ega ega Public

   English LLM-based translation of Grothendieck's EGA

   Python 1

6. sga sga Public

   English LLM-based translation of Grothendieck's SGA

   Python 1