Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / LS-Lab 7 repositories
Logic of Autonomous Dynamical Systems Lab @ Karlsruhe Institute of Technology
LS-Lab/SMC
Language: Java - Size: 141 KB - Last synced: 2 months ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0
LS-Lab/orbital
Orbital Library
Language: Java - Size: 4.7 MB - Last synced: 2 months ago - Pushed: over 7 years ago - Stars: 7 - Forks: 3
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
LS-Lab/Coq-dL
A formally verified implementation of differential dynamic logic in Coq
Language: Coq - Size: 875 KB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 11 - Forks: 3
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
LS-Lab/Isabelle-dL
A formally verified implementation of differential dynamic logic in Isabelle
Language: Isabelle - Size: 1.62 MB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 4 - Forks: 0