Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
A self-contained repository for my various Anki decks for Mathematics
-
rclone python wrapper
-
Conan - The open-source C and C++ package manager
-
A course in reinforcement learning in the wild
-
-
Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.
-
Bayesian Modeling and Probabilistic Programming in Python
-
Agda is a dependently typed programming language / interactive theorem prover.
-
Display dependency tree of Python distribution
-
Prefect is a workflow orchestration framework for building resilient data pipelines in Python.
Starred Topics
-
Awesome Lists
An awesome list is a list of awesome things curated by the community.
StarredSep 18, 2023