Pinned Loading

1. analysis analysis Public

   Forked from teorth/analysis

   A Lean companion to Analysis I

   Lean

2. pdf-to-latex pdf-to-latex Public

   A tool or workflow that converts PDF documents into editable LaTeX source code, reconstructing text, mathematical equations, tables, and document structure for further editing and typesetting

   Python

3. sample-lean-project sample-lean-project Public

   A minimal example Lean 4 project demonstrating basic project structure, theorem definitions, proofs, imports, and testing with Lake and Mathlib.

   Python

4. my-doctor-viewer my-doctor-viewer Public

   Casual MRI Viewer Driven By Ollama MedGemma Model (extended to health record archival tool using locally run medgemma model)

   Python

5. the_competitative_programming_archive the_competitative_programming_archive Public

   An archive software for competitative programming

   Python

6. 3d-pinball-rebuild 3d-pinball-rebuild Public

   An NPM Version of 3D PinBall with customized map creator (build with Space Bunny Alpha and GPT-6.1 Sol)

   JavaScript