Skip to content

@UniFormal UniFormal

Change the repository type filter

All

    Repositories list

    20 repositories

    • UPL

      Public
      JavaScript
      •2•4•1•0•Updated Feb 21, 2026Feb 21, 2026

    • MMT

      Public
      The MMT Language and System
      Scala
      •
      Other
      •24•80•152•8•Updated Sep 7, 2025Sep 7, 2025

    • uniformal.github.io

      Public
      Main website for MMT and related material
      CSS
      •13•6•0•6•Updated Jun 16, 2024Jun 16, 2024

    • VSCode-MMT

      Public
      MMT plugin for Visual Studio Code
      vscodevisual-studio-codeformalization
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•2•0•Updated Apr 10, 2024Apr 10, 2024

    • MathDb

      Public
      a universal mathematical database
      0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • SageMath

      Public
      MMT-related code that depends on the SageMath system
      0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • alignments

      Public
      0•0•0•0•Updated Dec 5, 2023Dec 5, 2023

    • TGView

      Public
      GraphViewer for TheoryGraphs
      TypeScript
      •
      MIT License
      •1•4•20•14•Updated Dec 13, 2022Dec 13, 2022

    • IntelliJ-MMT

      Public
      An IntelliJ-Plugin for MMT (under development)
      Scala
      •1•3•14•0•Updated Aug 25, 2022Aug 25, 2022

    • TGView3D

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

    • apidoc

      Public
      Auto-generated API documentation for MMT. All changes will be overwritten on the next commit.
      HTML
      •0•1•0•0•Updated Nov 6, 2020Nov 6, 2020

    • tgview3d.mathhub.info

      Public
      TGView 3d Website
      JavaScript
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Mar 29, 2020Mar 29, 2020

    • ESSLLI2019

      Public
      0•1•1•0•Updated Aug 6, 2019Aug 6, 2019

    • mmt_jupyter_kernel

      Public
      A Jupyter kernel for MMT
      JavaScript
      •
      GNU General Public License v3.0
      •0•3•4•0•Updated Mar 11, 2019Mar 11, 2019

    • implicit

      Public
      paper on implicit morphisms
      TeX
      •0•4•0•0•Updated Feb 25, 2019Feb 25, 2019

    • physics

      Public
      Scala
      •1•2•0•0•Updated 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
      •1•1•0•0•Updated 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
      •0•5•0•0•Updated Mar 20, 2018Mar 20, 2018

    • GFScala

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

    • MMTPy

      Public
      Python API for MMT. Work in progress.
      Python
      •
      GNU Lesser General Public License v3.0
      •0•3•0•0•Updated Oct 8, 2017Oct 8, 2017