A Python package to create and simulate complex systems.
Machine-verified physics and math proofs in Lean 4 with SageMath as an untrusted oracle
Task-oriented components for text, images, audio and video with a scikit-learn API, powered by open-source models or cloud APIs.
Python sports betting toolbox.
An implementation of novel oversampling algorithms.
Anthropic, PBC
Visionary sponsor
Bloomberg
Visionary sponsor
Hudson River Trading
Visionary sponsor
Meta
Visionary sponsor
NVIDIA
Visionary sponsor
Microsoft
Sustainability sponsor
Depot
Continuous Integration
AWS
Cloud computing and Security Sponsor
Datadog
Monitoring
Fastly
CDN
Google
Download Analytics
Sentry
Error logging
StatusPage
Status page