Open source projects from the Chair of Automata Theory #7
Conversation
Check of projects.yaml file✅ No problems in oss-projects yaml found Check of cs-groups.yaml file✅ No problems in cs-groups yaml found |
🚀 PR preview |
📄 Preview of generated README.mdPreviewOpen Source Projects of the Faculty of Computer Science at TU DresdenThis 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 How to use?Install the required packages (e.g. in venv): pip3 install -r ./requirements.txtGenerate the README of this repository containing all projects: python3 init_readme.pyGenerate a static HTML page with an overview of all projects: python3 init_site.pyThe generated Add a new projectKeys in
Keys in
Append this template to - name:
groups: []
founder:
maintainer:
contributor:
involved:
description:
website:
repository:
license:
logo:For the logo, upload the logo to the 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 - name:
handle:
website: ProjectsThe 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 ClusteringResearch Group: Chair of Machine Learning for Computer Vision (Founder) More information: N/A License: N/A AccessibleMapsResearch Group: Chair of Human-Computer-Interaction (Contributor) More information: N/A License: MIT ACM LaTeX templateResearch Group: Chair of Networked Systems Modeling (Contributor) More information: N/A License: LPPL-1.3c AMCSResearch Group: Chair of Distributed and Networked Systems (Founder) More information: N/A License: N/A AN.ONResearch Group: Chair of Privacy and Security (Founder) (Maintainer) (Contributor) More information: N/A License: BSD-style base2-mlirResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: ISC BenchITResearch Group: Chair of Computer Architecture (Maintainer) (Contributor) More information: N/A License: BSD'ish BORNResearch 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 BrailleIOResearch 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).) CELResearch 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 CinnamonResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: MIT compy-learnResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: Apache-2.0 Concept Explorer FXResearch 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 condrustResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: ISC conexp-cljResearch Group: Chair of Knowledge-Based Systems (Contributor) More information: N/A License: EPL-1.0 CP2KResearch Group: Computational Systems Science (Maintainer) (Contributor) More information: N/A License: GPL-2.0 CSBDeepResearch Group: Chair of Machine Learning for Spatial Understanding (Founder) More information: N/A License: BSD-3-Clause dearResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: ISC dfg-mlirResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: ISC dudleResearch Group: Chair of Privacy and Security (Contributor) More information: N/A License: AGPL-3.0 Eclipse SUMOResearch Group: Chair of Networked Systems Modeling (Contributor) More information: N/A License: EPL-2.0 and more Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept AnalysisResearch 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 ELExplicatorResearch Group: Chair of Automata Theory (Founder) (Maintainer) (Contributor) More information: A collection of explanation services for OWL 2 EL ontologies License: MIT EveeResearch 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 FAIL*Research Group: Chair of Operating Systems (Founder) (Maintainer) (Contributor) More information: N/A License: GPL-3.0 FCAlibResearch Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved More information: A Java library for Formal Concept Analysis License: LGPL-3.0 FIRESTARTERResearch Group: Chair of Computer Architecture (Contributor) More information: N/A License: GPL-3.0 gelResearch 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 gem5Research Group: Chair for Compiler Construction (Contributor) - no longer involved More information: N/A License: BSD-3-Clause GNU TalerResearch Group: Chair of Distributed and Networked Systems (Contributor) More information: N/A License: GPL GraalVM with Role SupportResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: GPL-2.0 with the “Classpath” Exception 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 Interactive Optimal RepairsResearch 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 jcelResearch 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 JProbLogResearch Group: Chair of Automata Theory (Founder) (Contributor) - no longer involved More information: A Java adapter for ProbLog License: Apache-2.0 L4Re Operating System FrameworkResearch Group: Chair of Operating Systems (Founder) (Contributor) More information: N/A License: GPL-2.0 LAT Scala DL ToolsResearch 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 learning-compiler-graphsResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: N/A libAPR, pyapr, apr-napariResearch 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 Lingua FrancaResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: BSD-2-Clause Linux kernelResearch Group: Chair of Computer Architecture Chair of Operating Systems (Contributor) More information: N/A License: GPL-2.0 LPWC Linked Paper With CodeResearch Group: Chair of Scalable Software Architectures for Data Analytics (Founder) (Maintainer) (Contributor) More information: N/A License: MIT MarrayResearch Group: Chair of Machine Learning for Computer Vision (Founder) More information: Now largely adopted into ISO C++ as std::span License: N/A messnerResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: ISC Mobile trace generatorResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: ISC MocasinResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: ISC MOSAICsuiteResearch 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 mpsymResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: MIT M³: microkernel-based system for heterogeneous manycoresResearch Group: Chair of Operating Systems (Founder) (Contributor) More information: N/A License: GPL-2.0 NemoResearch Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) (Contributor) More information: N/A License: Apache-2.0 and MIT NOVA MicrohypervisorResearch Group: Chair of Operating Systems (Founder) More information: N/A License: GPL-2.0 Object TeamsResearch Group: Chair for Compiler Construction (Contributor) - no longer involved More information: N/A License: EPL-2.0 Object Teams InvokeDynamicResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: EPL-2.0 ODNS Measurement ToolsResearch Group: Chair of Distributed and Networked Systems (Founder) (Maintainer) (Contributor) More information: N/A License: BSD-2-Clause OMNeT++Research Group: Chair of Networked Systems Modeling (Contributor) More information: N/A License: custom OMNeT++ INET FrameworkResearch Group: Chair of Networked Systems Modeling (Contributor) More information: N/A License: LGPL-3.0-or-later and others OntoComPResearch 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 OntoComPlibResearch 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 OpenFPMResearch 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 OpenGMResearch Group: Chair of Machine Learning for Computer Vision (Founder) More information: N/A License: N/A OpenPMEResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: ISC OpenTouch InterfaceResearch 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 Partial Optimality in Cubic Correlation ClusteringResearch Group: Chair of Machine Learning for Computer Vision (Founder) More information: N/A License: N/A polygymResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: N/A PrioBikeResearch Group: Chair of Distributed and Networked Systems (Founder) (Contributor) More information: App and services of a traffic light assistance system for cyclists License: MIT RAMpage online memory testerResearch Group: Chair of Operating Systems (Founder) (Maintainer) (Contributor) More information: N/A License: GPL-2.0 reactor-cppResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: ISC RIOT
Research Group: Chair of Distributed and Networked Systems (Founder) (Maintainer) (Contributor) More information: N/A License: LGPL RTM CompilerResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: BSD-2-Clause RTRlibResearch Group: Chair of Distributed and Networked Systems (Founder) (Maintainer) (Contributor) More information: N/A License: MIT RTSimResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: N/A RulewerkResearch Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) More information: N/A License: Apache-2.0 SceneryResearch 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 Score-PResearch Group: Chair of Computer Architecture (Contributor) More information: N/A License: BSD-style Score-P autotoolsResearch 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+ Score-P libsensors Plugin CounterResearch 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 Semantic MediaWikiResearch Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) - no longer involved More information: N/A License: GPL SemOpenAlexResearch Group: Chair of Scalable Software Architectures for Data Analytics (Founder) (Maintainer) (Contributor) More information: N/A License: MIT Sigi-frontendResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: Apache-2.0 Sigi-mlirResearch Group: Chair for Compiler Construction (Founder) (Maintainer) (Contributor) More information: N/A License: MIT SQIDResearch Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) More information: N/A License: Apache-2.0 stardistResearch Group: Chair of Machine Learning for Spatial Understanding (Founder) More information: N/A License: BSD-3-Clause TetrisResearch Group: Chair of Operating Systems Chair for Compiler Construction (Founder) (Maintainer) (Contributor) - no longer involved More information: N/A License: GPL-3.0 UELResearch 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 unarXiveResearch Group: Chair of Scalable Software Architectures for Data Analytics (Founder) (Maintainer) (Contributor) More information: N/A License: MIT VeinsResearch Group: Chair of Networked Systems Modeling (Founder) More information: N/A License: GPL-2.0-or-later and more ViewRResearch 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 VLogResearch Group: Chair of Knowledge-Based Systems (Contributor) - no longer involved More information: N/A License: Apache-2.0 Wikidata ToolkitResearch Group: Chair of Knowledge-Based Systems (Founder) (Maintainer) - no longer involved More information: N/A License: Apache-2.0 X86-Energy LibrariesResearch Group: Chair of Computer Architecture (Founder) (Maintainer) (Contributor) More information: N/A License: LGPL-2.1 |
No description provided.