Explore projects

View ODK project

Markus Pfeiffer / ODK

0

Updated Oct 08, 2018

0 0 0 0

Updated Oct 08, 2018
View kwarcbibs project

meta / kwarcbibs
Creative Commons Attribution Share Alike 4.0 International

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

0

Updated Jan 06, 2026

0 0 0 0

Updated Jan 06, 2026
View Antitrust-Law project

JLogic / SMGloL / Antitrust-Law

0

Updated Jan 29, 2026

0 0 0 0

Updated Jan 29, 2026
View proposal-self-service project

FAU CDI / Labs / Literacy / proposal-self-service
Creative Commons Attribution 4.0 International

0

Updated Jan 12, 2026

0 0

Updated Jan 12, 2026
View coq-paramcoq.1.1.1-coq8.9 project

XML Coq Exports / coq-paramcoq.1.1.1-coq8.9
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View evaluna-import project

FAU CDI / Labs / CRIS / HiWi Projects / Produktiv / evaluna-import
GNU Affero General Public License v3.0

0

Updated Oct 24, 2025

0

Updated Oct 24, 2025
View automatische-autorenverknuepfung project

FAU CDI / Labs / CRIS / HiWi Projects / automatische-autorenverknuepfung
GNU Affero General Public License v3.0

0

Updated Oct 24, 2025

0

Updated Oct 24, 2025
View meta-inf project

courses / IISc / meta-inf
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View problems project

courses / Jacobs / ACS / problems
Creative Commons Attribution Share Alike 4.0 International

The problems of the course Advanced Computer Science at Jacobs University.

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View data-proposal project

Michael Kohlhase / data-proposal

temporary home for the EOSC proposal.

0

Updated Jan 12, 2019

0 0 0 0

Updated Jan 12, 2019
View ml project

SMGloM / ml
Creative Commons Attribution Share Alike 4.0 International

0

Updated Nov 26, 2025

0 0 0 0

Updated Nov 26, 2025
View distribution project

focalize / distribution
Creative Commons Attribution Share Alike 4.0 International

Sources included with the FoCaLiZe distribution

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View meta-inf project

symmetric-objects / meta-inf

The meta information for the MathHub data collection on highly symmetric objects

0

Updated Mar 27, 2019

0 0 0 0

Updated Mar 27, 2019
View Modal-Logics project

Almanac / Modal-Logics
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View identities project

SMGloM / identities
Creative Commons Attribution Share Alike 4.0 International

Number Theoretic Identities

0

Updated Nov 26, 2025

0 0 0 0

Updated Nov 26, 2025
View fau-elabftw project

FAU CDI / Labs / ELN / eLabFTW / fau-elabftw

0

Updated May 29, 2025

0 1

Updated May 29, 2025
View course project

courses / FAU / KRMT / course
Creative Commons Attribution Share Alike 4.0 International

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

0

Updated Feb 17, 2026

0 0 0 1

Updated Feb 17, 2026
View problems project

courses / Jacobs / TDM / problems
Creative Commons Attribution Share Alike 4.0 International

The problems for the course Text and Digital Media at Jacobs University

0

Updated Nov 17, 2025

0 0 0 0

Updated Nov 17, 2025
View coq-mathcomp-multinomials.1.1 project

XML Coq Exports / coq-mathcomp-multinomials.1.1
Creative Commons Attribution Share Alike 4.0 International

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025
View mbgen project

ODK / mbgen
Creative Commons Attribution Share Alike 4.0 International

mbgen meta-theory and demo schema theories

0

Updated Oct 01, 2025

0 0 0 0

Updated Oct 01, 2025