UF Research Assistant interested in type theory, scientific computing, and machine learning.
- Florida
Popular repositories Loading
-
-
-
leanear-algebra
leanear-algebra PublicFormalizing Sheldon Axler's Linear Algebra Done Right using Lean (Leanear Algebra Done Right).
Lean 1
-
AlgebraicDynamics.jl
AlgebraicDynamics.jl PublicForked from AlgebraicJulia/AlgebraicDynamics.jl
Building dynamical systems compositionally
Jupyter Notebook 1
-
A_Star_Project
A_Star_Project PublicForked from JohnAdamsII/A_Star_Project
AI project for path traversal
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.