Skip to content
Change the repository type filter

All

    Repositories list

    • UPL

      Public
      JavaScript
      3511Updated Apr 14, 2026Apr 14, 2026
    • MMT

      Public
      The MMT Language and System
      Scala
      Other
      25801528Updated Sep 7, 2025Sep 7, 2025
    • Main website for MMT and related material
      CSS
      13606Updated Jun 16, 2024Jun 16, 2024
    • MMT plugin for Visual Studio Code
      TypeScript
      BSD 3-Clause "New" or "Revised" License
      0320Updated Apr 10, 2024Apr 10, 2024
    • MathDb

      Public
      a universal mathematical database
      0000Updated Feb 21, 2024Feb 21, 2024
    • SageMath

      Public
      MMT-related code that depends on the SageMath system
      0000Updated Feb 21, 2024Feb 21, 2024
    • 0000Updated Dec 5, 2023Dec 5, 2023
    • TGView

      Public
      GraphViewer for TheoryGraphs
      TypeScript
      MIT License
      142014Updated Dec 13, 2022Dec 13, 2022
    • An IntelliJ-Plugin for MMT (under development)
      Scala
      23140Updated Aug 25, 2022Aug 25, 2022
    • TGView3D

      Public
      A 3D Theory Graph Viewer for MMT.
      C#
      GNU General Public License v3.0
      5790Updated Dec 14, 2020Dec 14, 2020
    • apidoc

      Public
      Auto-generated API documentation for MMT. All changes will be overwritten on the next commit.
      HTML
      0100Updated Nov 6, 2020Nov 6, 2020
    • TGView 3d Website
      JavaScript
      GNU General Public License v3.0
      0100Updated Mar 29, 2020Mar 29, 2020
    • 0110Updated Aug 6, 2019Aug 6, 2019
    • A Jupyter kernel for MMT
      JavaScript
      GNU General Public License v3.0
      1340Updated Mar 11, 2019Mar 11, 2019
    • implicit

      Public
      paper on implicit morphisms
      TeX
      0400Updated Feb 25, 2019Feb 25, 2019
    • physics

      Public
      Scala
      1200Updated Dec 10, 2018Dec 10, 2018
    • mm-scala

      Public
      A fork of metamath verifier in Scala, so that it compiles under newer scala versions
      Scala
      The Unlicense
      1100Updated Mar 23, 2018Mar 23, 2018
    • Proofs

      Public
      Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)
      TeX
      0500Updated Mar 20, 2018Mar 20, 2018
    • GFScala

      Public
      Scala wrappers and MMT-compatible interfaces for GF datastructures, based on their java bindings
      Scala
      0100Updated Dec 14, 2017Dec 14, 2017
    • MMTPy

      Public
      Python API for MMT. Work in progress.
      Python
      GNU Lesser General Public License v3.0
      0300Updated Oct 8, 2017Oct 8, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.