Popular repositories Loading

1. leray-hopf leray-hopf Public

   Lean 4 formalization of Leray–Hopf weak solution existence for the three-dimensional incompressible Navier–Stokes equations.

   Lean 8

2. TDA-ML TDA-ML Public

   Python 1

3. kunadonokami kunadonokami Public

   Read-only defensive security snapshot and AI-assisted VPS review pipeline.

   Python

4. yomotsusaka yomotsusaka Public

   Best-effort private data firewall for agent workflows: redacts private documents into searchable manifests and mediated keys using open-weight LLM batch preprocessing.

   Python

5. leray-hopf-notes leray-hopf-notes Public

   Interactive Japanese mathematical commentary and declaration-level documentation for uda-lab/leray-hopf.

   Python

6. gcvx gcvx Public