UniFormal/uniformal.github.io UniFormal/uniformal.github.io

  • Stars
    star
    6
  • Rank 2,526,178 (Top 51 %)
  • Language
    CSS
  • Created over 8 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
UniFormal/uniformal.github.io
github

UniFormal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Main website for MMT and related material

More Repositories

1

MMT

The MMT Language and System
Scala
68
star
2

TGView3D

A 3D Theory Graph Viewer for MMT.
C#
6
star
3

Proofs

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

TGView

GraphViewer for TheoryGraphs
TypeScript
4
star
5

implicit

paper on implicit morphisms
TeX
4
star
6

mmt_jupyter_kernel

A Jupyter kernel for MMT
JavaScript
3
star
7

MMTPy

Python API for MMT. Work in progress.
Python
3
star
8

IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
Scala
3
star
9

physics

Scala
2
star
10

VSCode-MMT

MMT plugin for Visual Studio Code
TypeScript
2
star
11

ESSLLI2019

1
star
12

apidoc

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

GFScala

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

tgview3d.mathhub.info

TGView 3d Website
JavaScript
1
star