Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: differential-dynamic-logic
LS-Lab/KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
Language: Shell - Size: 951 KB - Last synced: 2 months ago - Pushed: 5 months ago - Stars: 5 - Forks: 8
LS-Lab/KeYmaera-release
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Language: Java - Size: 19.5 MB - Last synced: 2 months ago - Pushed: over 9 years ago - Stars: 8 - Forks: 4
IBM/vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
Language: Python - Size: 1.92 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 53 - Forks: 13
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Language: Scala - Size: 256 MB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 71 - Forks: 36