yuedajiong's starred repositories

Awesome-LLM-3D

Awesome-LLM-3D: a curated list of Multi-modal Large Language Model in 3D world Resources

lean-riemann-hypothesis

Riemann Hypothesis in Lean

Language:LeanLicense:MITStargazers:35Issues:3Issues:0

pythagoras4

Many proofs of the Pythagoras theorem - Lean 4

Language:LeanStargazers:9Issues:4Issues:0

nn-cpp

neural network in pure cpp

Language:C++Stargazers:2Issues:0Issues:0

nn-py

neural network in pure python

Language:PythonStargazers:2Issues:0Issues:0
Language:PythonStargazers:1Issues:0Issues:0

study

study for my dream

Language:Jupyter NotebookStargazers:1Issues:0Issues:0