Lists (15)
Starred repositories
A self-contained repository for my various Anki decks for Mathematics
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.
Migrate a project from Poetry/Pipenv/pip-tools/pip to uv package manager
🤖 Unofficial SEC EDGAR API wrapper for Python
Download all companies periodic reports, filings and forms from EDGAR database.
Download market data from Yahoo! Finance's API
Watches files and records, or triggers actions, when they change.
Install our extensions for GH Copilot, Cursor and Claude Code. Try BearClaude. File issues and requests.
❗ This is a read-only mirror of the CRAN R package repository. yfscreen — Yahoo Finance 'screener' API. Homepage: https://github.com/jasonjfoster/screen Report bugs for this package: https://github…
Model Context Protocol Server for JetBrains Youtrack
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Lean 4 programming language and theorem prover
data load tool (dlt) is an open source Python library that makes data loading easy 🛠️
Flexible Python configuration system. The last one you will ever need.
FUSE-based file system backed by Amazon S3
Duckman - Manage your DuckDB CLI with ease