UniFormal/TGView3D UniFormal/TGView3D

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    C#
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
UniFormal/TGView3D
github

UniFormal

Reviews

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

Repository Details

A 3D Theory Graph Viewer for MMT.

More Repositories

1

MMT

The MMT Language and System
Scala
68
star
2

uniformal.github.io

Main website for MMT and related material
CSS
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