Skip to content
@UniFormal

UniFormal

UniFormal approach to knowledge representation centering on the MMT system

Pinned Loading

  1. MMT Public

    The MMT Language and System

    Scala 72 22

  2. uniformal.github.io Public

    Main website for MMT and related material

    CSS 6 13

  3. 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
    JavaScript 1 1 0 0 Updated Apr 4, 2025
  • MMT Public

    The MMT Language and System

    Scala 72 22 154 (4 issues need help) 7 Updated Jul 24, 2024
  • uniformal.github.io Public

    Main website for MMT and related material

    CSS 6 13 0 6 Updated Jun 16, 2024
  • VSCode-MMT Public

    MMT plugin for Visual Studio Code

    TypeScript 3 BSD-3-Clause 0 2 0 Updated Apr 10, 2024
  • MathDb Public

    a universal mathematical database

    0 0 0 0 Updated Feb 21, 2024
  • SageMath Public

    MMT-related code that depends on the SageMath system

    0 0 0 0 Updated Feb 21, 2024
  • alignments Public
    0 0 0 0 Updated Dec 5, 2023
  • TGView Public

    GraphViewer for TheoryGraphs

    TypeScript 4 MIT 1 20 14 Updated Dec 13, 2022
  • IntelliJ-MMT Public

    An IntelliJ-Plugin for MMT (under development)

    Scala 3 1 14 0 Updated Aug 25, 2022
  • TGView3D Public

    A 3D Theory Graph Viewer for MMT.

    C# 6 GPL-3.0 4 9 0 Updated Dec 14, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…