UniFormal/physics UniFormal/physics

  • Stars
    star
    2
  • Language
    Scala
  • Created over 7 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
UniFormal/physics
github

UniFormal

Reviews

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

Repository Details

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

TGView3D

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

Proofs

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

TGView

GraphViewer for TheoryGraphs
TypeScript
4
star
6

implicit

paper on implicit morphisms
TeX
4
star
7

mmt_jupyter_kernel

A Jupyter kernel for MMT
JavaScript
3
star
8

MMTPy

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

IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
Scala
3
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