💻 Developer Nexus: proof
GitHub
rlabbe/Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
⭐ 18782 | 🍴 4466GitHub
getsentry/self-hosted
Sentry, feature-complete and packaged up for low-volume deployments and proofs-of-concept
⭐ 9202 | 🍴 1939GitHub
frohoff/ysoserial
A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
⭐ 8767 | 🍴 1852GitHub
matter-labs/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
⭐ 5774 | 🍴 907