Pinned Repositories
wonderless
A dataset to shed light upon Serverless computing.
website
Official webpage of the Programming Group on https://programming-group.com
je-lang
The J<sub>E</sub> Secure Programming Language
sgx-lkl
SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves
consyst-operationtype-thesis
Bachelor thesis of Niklas Reiche.
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 OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
TeaStore
A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi-tier auto-scaling
PhD-Proposal-Template
The LaTeX template for PhD proposal document
prg-grp's Repositories
prg-grp/website
Official webpage of the Programming Group on https://programming-group.com
prg-grp/PhD-Proposal-Template
The LaTeX template for PhD proposal document
prg-grp/je-lang
The J<sub>E</sub> Secure Programming Language
prg-grp/TeaStore
A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi-tier auto-scaling
prg-grp/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 OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
prg-grp/sgx-lkl
SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves
prg-grp/consyst-operationtype-thesis
Bachelor thesis of Niklas Reiche.
prg-grp/wonderless
A dataset to shed light upon Serverless computing.