Skip to content
@UniFormal

UniFormal

UniFormal approach to knowledge representation centering on the MMT system

Pinned Loading

  1. MMT MMT Public

    The MMT Language and System

    Scala 68 22

  2. uniformal.github.io uniformal.github.io Public

    Main website for MMT and related material

    CSS 6 13

  3. apidoc apidoc Public

    Auto-generated API documentation for MMT. All changes will be overwritten on the next commit.

    HTML 1

Repositories

Showing 10 of 20 repositories
  • UPL Public
    UniFormal/UPL’s past year of commit activity
    Scala 0 0 0 0 Updated Dec 23, 2024
  • MMT Public

    The MMT Language and System

    UniFormal/MMT’s past year of commit activity
    Scala 68 22 154 (4 issues need help) 7 Updated Jul 24, 2024
  • uniformal.github.io Public

    Main website for MMT and related material

    UniFormal/uniformal.github.io’s past year of commit activity
    CSS 6 13 0 6 Updated Jun 16, 2024
  • VSCode-MMT Public

    MMT plugin for Visual Studio Code

    UniFormal/VSCode-MMT’s past year of commit activity
    TypeScript 3 BSD-3-Clause 0 2 0 Updated Apr 10, 2024
  • MathDb Public

    a universal mathematical database

    UniFormal/MathDb’s past year of commit activity
    0 0 0 0 Updated Feb 21, 2024
  • SageMath Public

    MMT-related code that depends on the SageMath system

    UniFormal/SageMath’s past year of commit activity
    0 0 0 0 Updated Feb 21, 2024
  • alignments Public
    UniFormal/alignments’s past year of commit activity
    0 0 0 0 Updated Dec 5, 2023
  • TGView Public

    GraphViewer for TheoryGraphs

    UniFormal/TGView’s past year of commit activity
    TypeScript 4 MIT 1 20 14 Updated Dec 13, 2022
  • IntelliJ-MMT Public

    An IntelliJ-Plugin for MMT (under development)

    UniFormal/IntelliJ-MMT’s past year of commit activity
    Scala 3 1 14 0 Updated Aug 25, 2022
  • TGView3D Public

    A 3D Theory Graph Viewer for MMT.

    UniFormal/TGView3D’s past year of commit activity
    C# 6 GPL-3.0 4 9 0 Updated Dec 14, 2020

Top languages

Loading…

Most used topics

Loading…