Codestin Search App

Compilers-course-code-template Public template

LS-Lab/Compilers-course-code-template’s past year of commit activity

4 0 0 0 Updated May 6, 2025
Verified-Neural-Highway-Control Public
Verification of Autonomous Neural Car Control with KeYmaera X

LS-Lab/Verified-Neural-Highway-Control’s past year of commit activity

Jupyter Notebook 0 0 0 0 Updated Mar 3, 2025
KeYmaeraX-release Public
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

LS-Lab/KeYmaeraX-release’s past year of commit activity

Scala 79 GPL-2.0 40 15 2 Updated Feb 28, 2025
KeYmaeraX-projects Public
Projects, models, and proofs in KeYmaera X

LS-Lab/KeYmaeraX-projects’s past year of commit activity

Shell 7 8 0 0 Updated Aug 30, 2024
Isabelle-dL Public
A formally verified implementation of differential dynamic logic in Isabelle

LS-Lab/Isabelle-dL’s past year of commit activity

Isabelle 5 0 0 0 Updated May 16, 2022
Coq-dL Public
A formally verified implementation of differential dynamic logic in Coq

LS-Lab/Coq-dL’s past year of commit activity

Coq 17 GPL-3.0 3 0 1 Updated May 16, 2022
orbital Public
Orbital Library

LS-Lab/orbital’s past year of commit activity

Java 9 GPL-2.0 3 0 0 Updated Feb 15, 2017
KeYmaera-release Public
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

LS-Lab/KeYmaera-release’s past year of commit activity

Java 8 4 0 0 Updated Dec 15, 2014
SMC Public

LS-Lab/SMC’s past year of commit activity

Java 1 0 0 0 Updated Oct 3, 2013

Provide feedback