Explore projects

The Startup Shutdown Synchronization Protocol (SSSP) defines a standard for synchronous, real-time capable startup, operation and shutdown on distributed systems, while keeping complexity minimal.

Reproducibility Evaluation of NeurIPS 2019 Paper "Composable Specification Language for ReinforcementLearning Tasks" by Kishor Jothimurugan, Rajeev Alur and Osber Bastani. Contains the results of our executed test runs and a jupyter notebook for viz.

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

Sends metadata to the metadata-listener, to add playlist entries manually from a GUI