ikovalenko92

ikovalenko92's Stars

• 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.

  Language:Jupyter Notebook16.5k4633224.2k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1815.5k1.5k

• Peter-Pater/DAPCEP-VR-Manufacture-Simulation

  Language:C#10