Explore @UniFormal Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

HTML

Haskell

PHP

Elixir

C#

Solidity

F#

Ruby

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Swift

Elm

Ruby

Crystal

MATLAB

Clojure

Objective-C

PHP

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇧🇱 Saint Barthélemy

🇬🇪 Georgia

🇩🇴 Dominican Republic

🇷🇺 Russia

🇹🇩 Chad

🇨🇿 Czechia

🇰🇼 Kuwait

🇶🇦 Qatar

All Countries Compare Countries

@UniFormal

UniFormal

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

Scala
28.6 %

TypeScript
14.3 %

JavaScript
14.3 %

TeX
14.3 %

CSS
7.1 %

Python
7.1 %

C#
7.1 %

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

Scala
77

TeX
420

CSS
998

C#
2,158

TypeScript
3,347

HTML
9,039

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