Explore projects
-
Updated
-
alpha / BookedSlurm
GNU General Public License v3.0 or laterUpdated -
Slurm / slurm_compose
GNU General Public License v3.0 or laterA SLURM queue composable on your notebook. Use at your own risks.
Updated -
Sergio Rabellino / moodle
GNU General Public License v3.0 onlyUpdated -
Updated
-
Commonshood / toolkit
Apache License 2.0Updated -
galla / mcc2ltsmin
GNU General Public License v3.0 or laterTranslate CTL / LTL / CTL* query syntax from MCC to LTSmin. Optionally, fuzz CTL queries to create CTL* ones.
Updated -
Updated
-
Commonshood / smart-contracts
Apache License 2.0Updated -
co3-project / backend
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
Updated
-
WeGovNow / Inputmap
MIT LicenseUpdated -
Updated
-
A Python3 library capable of automatically generating comparative scatter plots using data collected from GreatSPN test runs.
Updated -
Updated
-
co3-project / events-listener
MIT LicenseUpdated -
Updated