Explore projects
-
Updated
-
SPC / public / meq / meq
Apache License 2.0This is a public mirror of the repository of the MEQ suite.
UpdatedUpdated -
SPC / public / meq / genlib
Apache License 2.0This is a public mirror of the repository of the genlib library.
UpdatedUpdated -
SPC / public / CHEASE-FS
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
SPC / SCDDS / SCDDS-core
GNU Lesser General Public License v3.0 or laterSCDDS (Simulink-based Control Design and Deployment Suite). https://scdds-core.readthedocs.io/en/latest/
UpdatedUpdated -
Stavros Athanasiou / SelectedTopicsInAdvancedOptics2025
BSD 3-Clause "New" or "Revised" LicenseUpdatedUpdated -
Updated
-
LARA / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated
