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.
Repository Index
78,351 visible repositories in the index
1–6 of 6 · Most stars
My own notes (drafts mostly) about software quality
- ebooks
- quality-assurance
- software-testing
- courses
A textbook on informal homotopy type theory
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
SPARK formal verification automated with Travis CI
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754