Explore projects
-
Damien Maier / stainless-CT
Apache License 2.0Updated -
Updated
-
Updated
-
Christophe Hideki Michaud-Lavoie / choetfl
Apache License 2.0Applying the ETFL framework to the CHO GEM
Updated -
ResponsibleSoftware / CS-290 Responsible Software 2025-2026
Creative Commons Attribution 4.0 InternationalUpdated -
LARA / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
Updated
-
Code for "Ensuring Stability in Bilinear Structured State-Space Models via IQCs: A Free Parameterisation Approach"
Updated -
Updated
-
Updated