Repositories list

• website

  Public

  prg-grp/website’s past year of commit activity
  Official webpage of the Programming Group on https://programming-group.com

  JavaScript

  •

  MIT License

  •1313 forks•1212 stars•00 issues•66 pull requests•Updated Aug 26, 2026Aug 26, 2026

• egraphs-formalism-website

  Public
  Lean-Graphs: mechanization of E-Graphs and extensions.

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 26, 2026Aug 26, 2026

• egraphs-extensions-website

  Public
  Smart E-Graphs: Semantic-Aware E-Graph Optimizations

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 24, 2026Aug 24, 2026

• crdtlib

  Public
  Lean

  •00 forks•33 stars•00 issues•00 pull requests•Updated Aug 18, 2026Aug 18, 2026

• jahrim-phd-proposal

  Public
  Jahrim's PhD Proposal.

  TeX

  •

  MIT License

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jul 31, 2026Jul 31, 2026

• guardiagent-page

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 15, 2026Jul 15, 2026

• coding-with-ai

  Public
  Jupyter Notebook

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 21, 2025Sep 21, 2025

• wasm-interpreter-page

  Public
  Webpage for https://github.com/prg-grp/wasm-interpreter

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 6, 2025Mar 6, 2025

• squ-openday-privacy-quiz

  Public

  prg-grp/squ-openday-privacy-quiz’s past year of commit activity
  Small application for the SQUARE openday. A quiz about data privacy.

  TypeScript

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 22, 2025Feb 22, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 23, 2025Jan 23, 2025

• hcl-dataset-tools

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

  githubminingdatasets

  githubminingdatasets

  C#

  •

  Creative Commons Attribution 4.0 International

  •11 fork•33 stars•00 issues•00 pull requests•Updated Nov 27, 2024Nov 27, 2024

• acm-hackday-templates

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 14, 2024Nov 14, 2024

• PhD-Proposal-Template

  Public
  The LaTeX template for PhD proposal document

  TeX

  •

  MIT License

  •22 forks•00 stars•00 issues•00 pull requests•Updated Oct 19, 2022Oct 19, 2022

• je-lang

  Public
  The J_E Secure Programming Language

  Java

  •

  Apache License 2.0

  •22 forks•11 star•00 issues•00 pull requests•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

  •179179 forks•00 stars•00 issues•00 pull requests•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 l…

  Java

  •3939 forks•00 stars•00 issues•00 pull requests•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

  •9393 forks•00 stars•00 issues•00 pull requests•Updated Jun 12, 2021Jun 12, 2021

• consyst-operationtype-thesis

  Public
  Bachelor thesis of Niklas Reiche.

  Java

  •

  Apache License 2.0

  •55 forks•00 stars•00 issues•00 pull requests•Updated Mar 30, 2021Mar 30, 2021

• wonderless

  Public
  A dataset to shed light upon Serverless computing.

  Python

  •66 forks•1414 stars•11 issue•00 pull requests•Updated Mar 19, 2021Mar 19, 2021