Mathematical Modeling
3 projects
Showing 3 of 3 projects
Modeling and Proving in Computational Type TheoryRocq Prover
A textbook on modeling and proving in computational type theory using the Rocq proof assistant.
#computational-type-theory#theorem-proving#rocq
Stars123
Forks13
Last commit
kalmanJavaScript
A JavaScript implementation of the Kalman filter for state estimation in noisy systems.
#sensor-fusion#signal-processing#noise-reduction
Stars115
Forks30
Last commit10 years ago
go-rampartGo
A Go library for defining intervals and determining their relationships, such as overlaps, meets, and contains.
#interval-arithmetic#interval#overlap
Stars106
Forks4
Last commit1 year ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.