-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedOct 2, 2025 -
Filtering-with-Optimal-Transport Public
Forked from Mohd9485/Filtering-with-Optimal-TransportPython UpdatedOct 1, 2025 -
-
-
AI4Edu-Tetris-Game Public
An educational Tetris game built with TypeScript and Vite
TypeScript MIT License UpdatedJun 21, 2025 -
-
lean-iwasawa Public
Forked from acmepjz/lean-iwasawaFormalization of Iwasawa Theory in LꓱꓯN (tentative)
Lean Apache License 2.0 UpdatedMay 25, 2025 -
-
-
-
-
-
courseCodeForPDE Public
Numerical solutions of partial different equations
MATLAB UpdatedMay 21, 2024 -
-
-
-
{{ message }}