Typst template for slides and presentations for TU Dresden
-
Updated
Jul 7, 2024 - Typst
Typst template for slides and presentations for TU Dresden
Typst thesis and paper template for TU Dresden researchers and students.
Reasoner for the description logic EL+.
Inspection of mystery IP adress near university.
🌯 See what's for lunch at Dresden's canteens
This extension injects KaTeX into the Riot chat client for matrix.
Browser Extension for higher productivity with TU Dresden IT-Services 🚀
Tool for finding unifiers in the description logic EL
Bayesian Ontology Reasoner
FCA library (superseded)
Ontology Completion Library
Protégé plugin for completing OWL ontologies
Parser in Java for Lisp S-expressions.
Generalization algorithms for the description logics EL and extensions.
A lightweight Description Logic reasoner for large-scale biomedical ontologies
Add a description, image, and links to the tu-dresden topic page so that developers can more easily learn about it.
To associate your repository with the tu-dresden topic, visit your repo's landing page and select "manage topics."