A 4-Approximation Algorithm for Min Max Correlation Clustering
AccessibleMaps
MIT
ACM LaTeX template
LPPL-1.3c
BSD-style
base2-mlir
ISC
BenchIT
BSD'ish
Cinnamon
MIT
compy-learn
Apache-2.0
condrust
ISC
conexp-clj
EPL-1.0
GPL-2.0
BSD-3-Clause
dfg-mlir
ISC
AGPL-3.0
Eclipse SUMO
EPL-2.0 and more
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis
A Scala-based tool for axiomatizing OWL 2 EL ontologies from example data, using techniques from Formal Concept Analysis
GPL-3.0
MIT
Evee
A collection of Java libraries and plugins for the ontology editor Protégé to provide explanation services for description logic ontologies
MIT
GPL-3.0
FIRESTARTER
GPL-3.0
GPL
Graphs and graph algorithms in C++
This project sits in a small niche. For most applications, BGL, Blitz or Lemon are a better choice.
MIT
Interactive Optimal Repairs
A plugin for the ontology editor Protégé for repairing ABox assertions in the presence of an EL TBox
GPL-3.0
L4Re Operating System Framework
GPL-2.0
LAT Scala DL Tools
A collection of Scala tools to work with OWL ontologies as a wrapper of the OWL API
MIT
learning-compiler-graphs
libAPR, pyapr, apr-napari
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.
Apache-2.0
Lingua Franca
BSD-2-Clause
GPL-2.0
LPWC Linked Paper With Code
MIT
messner
ISC
Mocasin
ISC
MOSAICsuite
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.
GPL-3.0
M³: microkernel-based system for heterogeneous manycores
GPL-2.0
Apache-2.0 and MIT
NOVA Microhypervisor
GPL-2.0
ODNS Measurement Tools
BSD-2-Clause
custom
OMNeT++ INET Framework
LGPL-3.0-or-later and others
OpenFPM
Scalable middleware and domain-specific language for scientific computing on CPU and GPU clusters with transparent parallelization.
BSD-3-Clause
OpenPME
ISC
OpenTouch Interface
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.
MIT
Partial Optimality in Cubic Correlation Clustering
PrioBike
App and services of a traffic light assistance system for cyclists
MIT
RAMpage online memory tester
GPL-2.0
reactor-cpp
ISC
Rulewerk
Apache-2.0
Scenery
Platform-portable VR/AR visualization and driver library including distributed rendering of very large datasets and user-interaction modalities.
LGPL-3
Score-P
BSD-style
Score-P autotools
This contains multiple packages. My latest contributions were for the NEC compiler suite
GPL-3.0+
Score-P libsensors Plugin Counter
There are various plugins available, which I maintain and contribute to this is one of them.
BSD 3-Clause "New" or "Revised" License
Sigi-frontend
Apache-2.0
Sigi-mlir
MIT
Apache-2.0
BSD-3-Clause
UEL
A solver for unification problems in the description logic EL, either standalone or as a plugin for the ontology editor Protégé
Apache-2.0 and LGPL-3.0
GPL-2.0-or-later and more
ViewR
We maintain a internal repo that is under active development, preparing for a large update of the public facing repo.
Apache-2.0
X86-Energy Libraries
LGPL-2.1
Projects where the research group is no longer involved
no longer involved
BORN
A reasoner for the Bayesian description logic BEL, including a plugin for the ontology editor Protégé
Apache-2.0
BSD-2-Clause
no longer involved
CEL
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é
Apache-2.0 and LGPL-3.0
no longer involved
Concept Explorer FX
A tool to visualize and interact with formal contexts and their concept lattices
GPL-3.0
ISC
LGPL-3.0
no longer involved
gel
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)
Apache-2.0
BSD-3-Clause
GPL-2.0 with the “Classpath” Exception
no longer involved
jcel
A Java-based reasoner for the description logic EL+, including a plugin for the ontology editor Protégé
Apache-2.0 and LGPL-3.0
Apache-2.0
ISC
MIT
EPL-2.0
EPL-2.0
no longer involved
OntoComP
A plugin for the ontology editor Protégé that supports completing OWL ontologies using techniques from Formal Concept Analysis
LGPL-3.0
no longer involved
OntoComPlib
A Java library for completing OWL ontologies using techniques from Formal Concept Analysis
LGPL-3.0
BSD-2-Clause
GPL
GPL-3.0
Apache-2.0
Apache-2.0