Skip to content

Collection of open source software projects in which members of the Faculty of Computer Science at TU Dresden are involved.

Notifications You must be signed in to change notification settings

tud-cs/oss-collection

Repository files navigation

Open Source Projects of the Faculty of Computer Science at TU Dresden

This repository contains scripts and data to generate HTML and markdown files presenting open source software projects of the Faculty of Computer Science at TU Dresden. The sources of information are oss-projects.yaml, which describes the projects, and cs-groups.yaml, which describes the research groups involved.

How to use?

Install the required packages (e.g. in venv):

pip3 install -r ./requirements.txt

Generate the README of this repository containing all projects:

python3 init_readme.py

Generate a static HTML page with an overview of all projects:

python3 init_site.py

The generated index.html as well as all the other files (CSS, Javascript, images) are in the website/ folder.

Add a new project

Keys in oss-projects.yaml

Name Type Required? Description
name string The name of the project
groups string[] The handles of the research groups that are part of the project (see cs-groups.yaml)
founder boolean If you are the founder of the project
maintainer boolean If you are a maintainer of the project
contributor boolean If you are a contributor of the project
involved boolean If you are still involved
description string Optional A short description of the project
website string Optional A link to the website of the project
repository string Optional URL of the public repository
license string Optional The license under which the project is available
logo string Optional The relative path to the logo of your project in the projects directory (place your logo in /website/images/projects)

Keys in cs-groups.yaml

Name Type Required? Description
name string The name of the research group
handle string The handle of the research group
website string Optional URL to the website of the research group

Append this template to oss-projects.yaml and fill in your data:

- name:
  groups: []
  founder:
  maintainer:
  contributor:
  involved:
  description:
  website:
  repository:
  license:
  logo:

For the logo, upload the logo to the website/images/projects folder and enter the relative URL to the logo in the website/images/projects folder.

For the groups, add the handle of your research group to the list.

If your research group does not exist yet, append this template to cs-groups.yaml and fill in your data:

- name: 
  handle: 
  website: 

Projects

The following list presents open source software projects in which members of the Faculty of Computer Science at TU Dresden are involved.


A 4-Approximation Algorithm for Min Max Correlation Clustering

Research Group: Chair of Machine Learning for Computer Vision (Founder)

More information: N/A

License: N/A

Code Project Site


AccessibleMaps

Research Group: Chair of Human-Computer-Interaction (Contributor)

More information: N/A

License: MIT

Code Project Site


ACM LaTeX template

Research Group: Chair of Networked Systems Modeling (Contributor)

More information: N/A

License: LPPL-1.3c

Code Project Site


AMCS

Research Group: Chair of Distributed and Networked Systems (Founder)

More information: N/A

License: N/A

Project Site


AN.ON

Research Group: Chair of Privacy and Security (Founder) (Maintainer) (Contributor)

More information: N/A

License: BSD-style

Code Project Site


base2-mlir

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: ISC

Code Project Site


BenchIT

Research Group: Chair of Computer Architecture (Maintainer) (Contributor)

More information: N/A

License: BSD'ish

Code Project Site


BORN

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A reasoner for the Bayesian description logic BEL, including a plugin for the ontology editor Protégé

License: Apache-2.0

Code Project Site


BrailleIO

Research Group: Chair of Human-Computer-Interaction (Maintainer) - no longer involved

More information: N/A

License: BSD-2-Clause

Code [Project Site](no URL, publication Bornschein, J. (2014, November). BrailleIO–a tactile display abstraction framework. In The Proceedings of Workshop Tactile/Haptic User Interfaces for Tabletops and Tablets (TacTT 2014). S (pp. 36-41).)


CEL

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A reasoner for the description logic EL that also supports incremental classification, modularization and axiom pinpointing, and is also available as a plugin for the ontology editor Protégé

License: Apache-2.0 and LGPL-3.0

Code Project Site


Cinnamon

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: MIT

Project Site


compy-learn

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: Apache-2.0

Code Project Site


Concept Explorer FX

Research Group: Chair of Automata Theory (Maintainer) (Contributor) - no longer involved

More information: A tool to visualize and interact with formal contexts and their concept lattices

License: GPL-3.0

Code Project Site


condrust

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: ISC

Code Project Site


conexp-clj

Research Group: Chair of Knowledge-Based Systems (Contributor)

More information: N/A

License: EPL-1.0

Code Project Site


CP2K

Research Group: Computational Systems Science (Maintainer) (Contributor)

More information: N/A

License: GPL-2.0

Code Project Site


CSBDeep

Research Group: Chair of Machine Learning for Spatial Understanding (Founder)

More information: N/A

License: BSD-3-Clause

Code Project Site


dear

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: ISC

Code Project Site


dfg-mlir

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: ISC

Code Project Site


dudle

Research Group: Chair of Privacy and Security (Contributor)

More information: N/A

License: AGPL-3.0

Code Project Site


Eclipse SUMO

Research Group: Chair of Networked Systems Modeling (Contributor)

More information: N/A

License: EPL-2.0 and more

Code Project Site


Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis

Research Group: Chair of Automata Theory (Founder) (Maintainer) (Contributor)

More information: A Scala-based tool for axiomatizing OWL 2 EL ontologies from example data, using techniques from Formal Concept Analysis

License: GPL-3.0

Code Project Site


ELExplicator

Research Group: Chair of Automata Theory (Founder) (Maintainer) (Contributor)

More information: A collection of explanation services for OWL 2 EL ontologies

License: MIT

Code Project Site


Evee

Research Group: Chair of Automata Theory (Founder) (Maintainer) (Contributor)

More information: A collection of Java libraries and plugins for the ontology editor Protégé to provide explanation services for description logic ontologies

License: MIT

Code Project Site


FAIL*

Research Group: Chair of Operating Systems (Founder) (Maintainer) (Contributor)

More information: N/A

License: GPL-3.0

Code Project Site


FCAlib

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A Java library for Formal Concept Analysis

License: LGPL-3.0

Code Project Site


FIRESTARTER

Research Group: Chair of Computer Architecture (Contributor)

More information: N/A

License: GPL-3.0

Code Project Site


gel

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A Java library and plugin for the ontology editor Protégé for computing generalizations for OWL 2 EL ontologies (role-depth bounded least common subsumers and most specific concepts)

License: Apache-2.0

Code Project Site


gem5

Research Group: Chair for Compiler Construction (Contributor) - no longer involved

More information: N/A

License: BSD-3-Clause

Code Project Site


GNU Taler

Research Group: Chair of Distributed and Networked Systems (Contributor)

More information: N/A

License: GPL

Code Project Site


GraalVM with Role Support

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: GPL-2.0 with the “Classpath” Exception

Code Project Site


Graphs and graph algorithms in C++

Research Group: Chair of Machine Learning for Computer Vision (Founder)

More information: This project sits in a small niche. For most applications, BGL, Blitz or Lemon are a better choice.

License: MIT

Code Project Site


Interactive Optimal Repairs

Research Group: Chair of Automata Theory (Founder) (Maintainer) (Contributor)

More information: A plugin for the ontology editor Protégé for repairing ABox assertions in the presence of an EL TBox

License: GPL-3.0

Code Project Site


jcel

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A Java-based reasoner for the description logic EL+, including a plugin for the ontology editor Protégé

License: Apache-2.0 and LGPL-3.0

Code Project Site


JProbLog

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A Java adapter for ProbLog

License: Apache-2.0

Code Project Site


L4Re Operating System Framework

Research Group: Chair of Operating Systems (Founder) (Contributor)

More information: N/A

License: GPL-2.0

Code Project Site


LAT Scala DL Tools

Research Group: Chair of Automata Theory (Founder) (Maintainer) (Contributor)

More information: A collection of Scala tools to work with OWL ontologies as a wrapper of the OWL API

License: MIT

Code Project Site


learning-compiler-graphs

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: N/A

Code Project Site


libAPR, pyapr, apr-napari

Research Group: Chair of Scientific Computing for Systems Biology (Founder) (Maintainer) (Contributor)

More information: C++ core library for the adaptive particle representation (APR) of images, including its Python package (pyapr) and plugin for the image viewer "napari" (napari-apr) as well as an APR-native volume renderer and a Big Data Viewer for distributed and tiled volume images.

License: Apache-2.0

Code Project Site


Lingua Franca

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: BSD-2-Clause

Code Project Site


Linux kernel

Research Group: Chair of Computer Architecture Chair of Operating Systems (Contributor)

More information: N/A

License: GPL-2.0

Code Project Site


LPWC Linked Paper With Code

Research Group: Chair of Scalable Software Architectures for Data Analytics (Founder) (Maintainer) (Contributor)

More information: N/A

License: MIT

Code Project Site


Marray

Research Group: Chair of Machine Learning for Computer Vision (Founder)

More information: Now largely adopted into ISO C++ as std::span

License: N/A

Code Project Site


messner

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: ISC

Code Project Site


Mobile trace generator

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: ISC

Code Project Site


Mocasin

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: ISC

Code Project Site


MOSAICsuite

Research Group: Chair of Scientific Computing for Systems Biology (Founder) (Maintainer) (Contributor)

More information: Plugin suite for the popular bio-image analysis software "Image/J" and "Fiji" with all image processing and analysis methods from our group. Around 30'000 unique-IP starts ups per day worldwide.

License: GPL-3.0

Code Project Site


mpsym

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: MIT

Code Project Site


M³: microkernel-based system for heterogeneous manycores

Research Group: Chair of Operating Systems (Founder) (Contributor)

More information: N/A

License: GPL-2.0

Code


Nemo

Research Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) (Contributor)

More information: N/A

License: Apache-2.0 and MIT

Code Project Site


NOVA Microhypervisor

Research Group: Chair of Operating Systems (Founder)

More information: N/A

License: GPL-2.0

Code Project Site


Object Teams

Research Group: Chair for Compiler Construction (Contributor) - no longer involved

More information: N/A

License: EPL-2.0

Code Project Site


Object Teams InvokeDynamic

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: EPL-2.0

Code Project Site


ODNS Measurement Tools

Research Group: Chair of Distributed and Networked Systems (Founder) (Maintainer) (Contributor)

More information: N/A

License: BSD-2-Clause

Code Project Site


OMNeT++

Research Group: Chair of Networked Systems Modeling (Contributor)

More information: N/A

License: custom

Code Project Site


OMNeT++ INET Framework

Research Group: Chair of Networked Systems Modeling (Contributor)

More information: N/A

License: LGPL-3.0-or-later and others

Code Project Site


OntoComP

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A plugin for the ontology editor Protégé that supports completing OWL ontologies using techniques from Formal Concept Analysis

License: LGPL-3.0

Code Project Site


OntoComPlib

Research Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved

More information: A Java library for completing OWL ontologies using techniques from Formal Concept Analysis

License: LGPL-3.0

Code Project Site


OpenFPM

Research Group: Chair of Scientific Computing for Systems Biology (Founder) (Maintainer) (Contributor)

More information: Scalable middleware and domain-specific language for scientific computing on CPU and GPU clusters with transparent parallelization.

License: BSD-3-Clause

Code Project Site


OpenGM

Research Group: Chair of Machine Learning for Computer Vision (Founder)

More information: N/A

License: N/A

Code Project Site


OpenPME

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: ISC

Code Project Site


OpenTouch Interface

Research Group: Chair of Explainable Artificial Intelligence (Founder) (Maintainer) (Contributor)

More information: The OpenTouch Interface is a Python package designed to provide a unified interface for various touch sensors. It simplifies the process of interacting with touch sensors by providing a consistent API regardless of the specific sensor being used.

License: MIT

Code Project Site


Partial Optimality in Cubic Correlation Clustering

Research Group: Chair of Machine Learning for Computer Vision (Founder)

More information: N/A

License: N/A

Code Project Site


polygym

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: N/A

Code Project Site


PrioBike

Research Group: Chair of Distributed and Networked Systems (Founder) (Contributor)

More information: App and services of a traffic light assistance system for cyclists

License: MIT

Code Project Site


RAMpage online memory tester

Research Group: Chair of Operating Systems (Founder) (Maintainer) (Contributor)

More information: N/A

License: GPL-2.0

Code


reactor-cpp

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: ISC

Code Project Site


RIOT

Research Group: Chair of Distributed and Networked Systems (Founder) (Maintainer) (Contributor)

More information: N/A

License: LGPL

Code Project Site


RTM Compiler

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: BSD-2-Clause

Code Project Site


RTRlib

Research Group: Chair of Distributed and Networked Systems (Founder) (Maintainer) (Contributor)

More information: N/A

License: MIT

Code Project Site


RTSim

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: N/A

Code Project Site


Rulewerk

Research Group: Chair of Knowledge-Based Systems (Founder) (Maintainer)

More information: N/A

License: Apache-2.0

Code Project Site


Scenery

Research Group: Chair of Scientific Computing for Systems Biology (Founder) (Contributor)

More information: Platform-portable VR/AR visualization and driver library including distributed rendering of very large datasets and user-interaction modalities.

License: LGPL-3

Code Project Site


Score-P

Research Group: Chair of Computer Architecture (Contributor)

More information: N/A

License: BSD-style

Code Project Site


Score-P autotools

Research Group: Chair of Computer Architecture (Contributor)

More information: This contains multiple packages. My latest contributions were for the NEC compiler suite

License: GPL-3.0+

Code Project Site


Score-P libsensors Plugin Counter

Research Group: Chair of Computer Architecture (Maintainer) (Contributor)

More information: There are various plugins available, which I maintain and contribute to this is one of them.

License: BSD 3-Clause "New" or "Revised" License

Code Project Site


Semantic MediaWiki

Research Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) - no longer involved

More information: N/A

License: GPL

Code Project Site


SemOpenAlex

Research Group: Chair of Scalable Software Architectures for Data Analytics (Founder) (Maintainer) (Contributor)

More information: N/A

License: MIT

Code Project Site


Sigi-frontend

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: Apache-2.0

Project Site


Sigi-mlir

Research Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor)

More information: N/A

License: MIT

Project Site


SQID

Research Group: Chair of Knowledge-Based Systems (Founder) (Maintainer)

More information: N/A

License: Apache-2.0

Code Project Site


stardist

Research Group: Chair of Machine Learning for Spatial Understanding (Founder)

More information: N/A

License: BSD-3-Clause

Code Project Site


Tetris

Research Group: Chair of Operating Systems Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved

More information: N/A

License: GPL-3.0

Code Project Site


UEL

Research Group: Chair of Automata Theory (Founder) (Contributor)

More information: A solver for unification problems in the description logic EL, either standalone or as a plugin for the ontology editor Protégé

License: Apache-2.0 and LGPL-3.0

Code Project Site


unarXive

Research Group: Chair of Scalable Software Architectures for Data Analytics (Founder) (Maintainer) (Contributor)

More information: N/A

License: MIT

Code Project Site


Veins

Research Group: Chair of Networked Systems Modeling (Founder)

More information: N/A

License: GPL-2.0-or-later and more

Code Project Site


ViewR

Research Group: Junior Professorship in Immersive Media (Founder) (Maintainer) (Contributor)

More information: We maintain a internal repo that is under active development, preparing for a large update of the public facing repo.

License: Apache-2.0

Code Project Site


VLog

Research Group: Chair of Knowledge-Based Systems (Contributor) - no longer involved

More information: N/A

License: Apache-2.0

Code Project Site


Wikidata Toolkit

Research Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) - no longer involved

More information: N/A

License: Apache-2.0

Code Project Site


X86-Energy Libraries

Research Group: Chair of Computer Architecture (Founder) (Maintainer) (Contributor)

More information: N/A

License: LGPL-2.1

Code Project Site