Explore @UniFormal Open Source projects

@UniFormal

UniFormal

Stars
106
Global Org. Rank 56,227 (Top 18 %)
Registered over 8 years ago
Most used languages

Scala
28.6 %

TeX
14.3 %

TypeScript
14.3 %

JavaScript
14.3 %

CSS
7.1 %

HTML
7.1 %

C#
7.1 %

Python
7.1 %
Location 🇩🇪 Germany
Country Total Rank 9,602
Country Ranking

Scala
76

TeX
415

CSS
991

C#
2,315

TypeScript
3,355

HTML
7,940

MMT

The MMT Language and System

uniformal.github.io

Main website for MMT and related material

TGView3D

A 3D Theory Graph Viewer for MMT.

Proofs

Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)

TGView

GraphViewer for TheoryGraphs

implicit

paper on implicit morphisms

mmt_jupyter_kernel

A Jupyter kernel for MMT

MMTPy

Python API for MMT. Work in progress.

IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)

physics

VSCode-MMT

MMT plugin for Visual Studio Code

ESSLLI2019

apidoc

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

GFScala

Scala wrappers and MMT-compatible interfaces for GF datastructures, based on their java bindings

tgview3d.mathhub.info

TGView 3d Website