Repositories list

• .github

  Public
  0•0•0•0•Updated Jan 23, 2025Jan 23, 2025

• website

  Public
  Official webpage of the Programming Group on https://programming-group.com

  JavaScript

  •

  MIT License

  •10•12•0•0•Updated Jan 16, 2025Jan 16, 2025

• hcl-dataset-tools

  Public
  Set of tools for creating and processing datasets with open-source repositories from GitHub.

  githubminingdatasets

  C#

  •

  Creative Commons Attribution 4.0 International

  •0•1•0•0•Updated Nov 27, 2024Nov 27, 2024

• acm-hackday-templates

  Public
  HTML

  •0•0•0•0•Updated Nov 14, 2024Nov 14, 2024

• PhD-Proposal-Template

  Public
  The LaTeX template for PhD proposal document

  TeX

  •

  MIT License

  •1•0•0•0•Updated Oct 19, 2022Oct 19, 2022

• je-lang

  Public
  The J_E Secure Programming Language

  Java

  •

  Apache License 2.0

  •1•1•0•0•Updated Aug 23, 2022Aug 23, 2022

• TeaStore

  Public
  A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi-tier auto-scaling

  Java

  •

  Apache License 2.0

  •145•0•0•0•Updated Jun 20, 2022Jun 20, 2022

• OpenJML

  Public
  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:

  Java

  •34•0•0•0•Updated Jul 21, 2021Jul 21, 2021

• sgx-lkl

  Public
  SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves

  C

  •

  MIT License

  •91•0•0•0•Updated Jun 12, 2021Jun 12, 2021

• consyst-operationtype-thesis

  Public
  Bachelor thesis of Niklas Reiche.

  Java

  •

  Apache License 2.0

  •5•0•0•0•Updated Mar 30, 2021Mar 30, 2021

• wonderless

  Public
  A dataset to shed light upon Serverless computing.

  Python

  •6•14•1•0•Updated Mar 19, 2021Mar 19, 2021