# 46 Open Source Dynamical Systems Software Projects

## Free and open source dynamical systems code projects including engines, APIs, generators, and tools.

Keymaerax Release 42 ⭐

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Lowlevelparticlefilters.jl 26 ⭐

Simple particle/kalman filtering, smoothing and parameter estimation

Mongeampereflow 21 ⭐

Continuous-time gradient flow for generative modeling and variational inference