Uda Lab

All

7 repositories

leray-hopf-notes
Public
Interactive Japanese mathematical commentary and declaration-level documentation for uda-lab/leray-hopf.
github-pages japanese formalization
github-pages japanese formalization navier-stokes lean4 leray-hopf mathematical-documentation
Python
•
Other
•0•0•6•0•Updated Aug 8, 2026Aug 8, 2026
leray-hopf
Public
Lean 4 formalization of Leray–Hopf weak solution existence for the three-dimensional incompressible Navier–Stokes equations.
partial-differential-equations formalization navier-stokes
partial-differential-equations formalization navier-stokes fluid-dynamics mathlib lean4 leray-hopf
Lean
•
Apache License 2.0
•1•11•1•3•Updated Aug 8, 2026Aug 8, 2026
gcvx
Public
Shell
•0•0•1•0•Updated Aug 6, 2026Aug 6, 2026
ellcech
Public
Python
•0•0•0•0•Updated Jul 23, 2026Jul 23, 2026
yomotsusaka
Public
Best-effort private data firewall for agent workflows: redacts private documents into searchable manifests and mediated keys using open-weight LLM batch preproc…
Python
•
MIT License
•0•0•7•0•Updated Jul 5, 2026Jul 5, 2026
TDA-ML
Public
Python
•
MIT License
•1•0•0•1•Updated Jun 22, 2026Jun 22, 2026
kunadonokami
Public
Read-only defensive security snapshot and AI-assisted VPS review pipeline.
Python
•
MIT License
•0•0•1•0•Updated May 20, 2026May 20, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.