Popular repositories Loading

1. lean-continuous lean-continuous Public

   Forked from Splines/lean-continuous

   Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.

   TeX

2. Introductory-Finite-Elements Introductory-Finite-Elements Public

   Forked from AppliedMechanics-EAFIT/Introductory-Finite-Elements

   Introductory course on the Finite Element Method

   Jupyter Notebook

3. CS229 CS229 Public

   Forked from PKUFlyingPig/CS229

   Jupyter Notebook

4. ML-homework ML-homework Public

   Forked from Sanzo00/ML-homework

   吴恩达机器学习作业

   Jupyter Notebook

5. sp25-rookiedb sp25-rookiedb Public template

   Forked from sunit1999/sp25-rookiedb

   CS 186 Spring 2025 RookieDB

   Java

6. Book-Mathematical-Foundation-of-Reinforcement-Learning Book-Mathematical-Foundation-of-Reinforcement-Learning Public

   Forked from MathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-Learning

   This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

   MATLAB