Explore projects
-
This project contains the execution scripts to the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings" (to be) published in September 2020.
Updated -
Christopher Wiedey / bachelor-applications
MIT LicenseThis project includes exemplary applications supplementing the my bachelor thesis.
The full text of the thesis can also be found in this repository.
UpdatedUpdated -
UpdatedUpdated
-
educast.nrw / svc / be-identity
Apache License 2.0UpdatedUpdated -
educast.nrw / svc / be-user-notification
Apache License 2.0UpdatedUpdated -
Updated
-
Updated
-
Updated
-
CVMLS / CATER
GNU General Public License v3.0 or laterCombined Animal Tracking & Environment Reconstruction
Updated -
Updated
-
-
ag-ohlberger / MaRDI / container
BSD 2-Clause "Simplified" LicenseContainer for CI, local development
Updated -
CIT Uni Münster / JupyterHub / csi-rclone-owncloud
Apache License 2.0Kubernetes CSI plugin for mounting ownCloud using WebDAV
Updated