Moozonian

💻 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 | 🍴 4466
GitHub

getsentry/self-hosted

Sentry, feature-complete and packaged up for low-volume deployments and proofs-of-concept

⭐ 9202 | 🍴 1939
GitHub

frohoff/ysoserial

A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.

⭐ 8767 | 🍴 1852
GitHub

matter-labs/awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

⭐ 5774 | 🍴 907