Welcome to the GitHub organization of the programming group. We are part of the Institute of Computer Science (ICS) at the University of St. Gallen (HSG). Together we enjoy working on Programming Languages and Software Engineering, including languages and architectures for Distributed Systems, Reactive Programming, DevOps Organizations, and Secure Software Systems.
Please find more information on our website programming-group.com.
Set of tools for creating and processing datasets with open-source repositories from GitHub.
C# 1
Forked from consysT-project/consysT-code
Bachelor thesis of Niklas Reiche.
Java
Forked from OpenJML/OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…
Java
Set of tools for creating and processing datasets with open-source repositories from GitHub.
The LaTeX template for PhD proposal document
A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi-tier auto-scaling
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves
Bachelor thesis of Niklas Reiche.
