A collaboration with Proof · 1 public repo per week
Completely free for open source repositories.
Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.
Extension of dynamax repository to dynamical systems with continuous-time dynamics and measurements sampled at possibly irregular discrete times. Allows generic inference of dynamical systems parameters from partial noisy observations via auto-differentiable filtering, SGD, and HMC.
1 good first / help-wanted issue · Python · last activity Aug 19, 2026
Extension of dynamax repository to dynamical systems with continuous-time dynamics and measurements sampled at possibly irregular discrete times. Allows generic inference of dynamical systems parameters from partial noisy observations via auto-differentiable filtering, SGD, and HMC.
