# 122 Open Source Differential Equations Software Projects

## Free and open source differential equations code projects including engines, APIs, generators, and tools.

Keymaerax Release 53 ⭐

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