David's starred repositories
reinforcement-learning-an-introduction
Python Implementation of Reinforcement Learning: An Introduction
the-incredible-pytorch
The Incredible PyTorch: a curated list of tutorials, papers, projects, communities and more relating to PyTorch.
awesome-systematic-trading
A curated list of awesome libraries, packages, strategies, books, blogs, tutorials for systematic trading.
cvxpylayers
Differentiable convex optimization layers
awesome-openai-vision-api-experiments
Must-have resource for anyone who wants to experiment with and build on the OpenAI vision API 🔥
PythonNumericalDemos
Well-documented Python demonstrations for spatial data analytics, geostatistical and machine learning to support my courses.
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
databook_python
IPython notebooks with demo code intended as a companion to the book "Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control" by Steven L. Brunton and J. Nathan Kutz
uncertain_ground_truth
Dermatology ddx dataset, Jax implementations of Monte Carlo conformal prediction, plausibility regions and statistical annotation aggregation from our recent work on uncertain ground truth (TMLR'23 and ArXiv pre-print).
AlgorithmsAndDataStructuresInAction
Advanced Data Structures Implementation
CppCon2021
Slides and other materials from CppCon2021
Bayesian-Neural-Networks-Reading-List
A primer on Bayesian Neural Networks. The aim of this reading list is to facilitate the entry of new researchers into the field of Bayesian Deep Learning, by providing an overview of key papers. More details: "A Primer on Bayesian Neural Networks: Review and Debates"
Python-software-engineering
Repository for participants of the "Python software engineering" training
odemodeling
R-package for building and fitting Bayesian ODE models in Stan
reinforcement_learning_an_introduction
Python Implementation for problems in Reinforcement Learning - An Introduction book