Explore projects

Launcher for the KIT Phoebus product.

Forked from https://github.com/matrix-org/matrix.to

REGIMO - Registration of Metadata

Forked from https://github.com/matrix-tu-dresden-de/Dokumentation

Prototype web portal for searching and filtering research resources (papers, software, datasets) via the ORKG API.

Hands-on session covering Isabelle & the refinement framework at the group's retreat 2025

SDNcockpit2.0

Make sure that FAIR Digital Objects match the established schemas. Compare Records, Templates, Vocabularies, Ontology Outputs.