I build scalable fullstack applications for both web and mobile. Physics & math background; now deepening my CS foundations as I move toward research.
🎯
Focusing
Pinned Loading
-
-
handson-ml2
handson-ml2 PublicForked from ageron/handson-ml2
A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
Jupyter Notebook
-
-
learning-coq
learning-coq PublicWorking notes learning the Coq proof assistant and the foundations of formal verification — following Software Foundations.
Rocq Prover
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.


