Skip to content
Snippets Groups Projects
O

ODK

The archives of the OpenDreamKit EU Project, see http://opendreamkit.org. This GitLab Group versions the data for the ODK Knowledge Hub.

  • A
    ActiveComputationDemo
    0
  • D
    Demos

    Demos for OpenDreamKit WP6

    0
  • D
    DiscreteZOO
    0
  • F
    FindStat

    The Knowledge behind the FindStat project

    1
  • G
    GAP

    The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

    1
  • K
    knowls

    LMFDB Knowls exported to sTeX.

    0
  • L
    lmfdb

    The Theories for the LMFDB data base.

    1
  • M
    math

    The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.

    1
  • M
    mbgen

    mbgen meta-theory and demo schema theories

    0
  • M
    meta-inf

    The Meta Information for the ODK Group.

    1
  • O
    ODK
    2
  • P
    python
    1
  • S
    Sage

    The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

    1
  • S
    Singular
    0