A functional standard library for Python.
Repository Index
65,264 visible repositories in the index
1–6 of 6 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Useful extensions to the standard Python datetime features
- python
- datetime
- time
- timezones
PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io
A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
Backport for type hinting generics in standard collections and union types as X | Y