issues
search
UniFormal
/
TGView3D
A 3D Theory Graph Viewer for MMT.
GNU General Public License v3.0
6
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
External URIs
#34
richardmarcus
opened
4 years ago
4
URI Interaction
#33
richardmarcus
opened
4 years ago
0
Update Intro Page
#32
richardmarcus
opened
4 years ago
0
Specify edge behavior in the JSON file
#31
kohlhase
opened
5 years ago
2
Create Platform Builds
#30
richardmarcus
closed
4 years ago
0
How to cite?
#29
ComFreek
closed
5 years ago
1
MMT Page Format
#28
richardmarcus
opened
5 years ago
0
Metric for Comparing Layouts
#27
richardmarcus
closed
5 years ago
0
Coq Visualization
#26
richardmarcus
closed
5 years ago
1
Wiki
#25
richardmarcus
opened
5 years ago
0
Store State
#24
richardmarcus
closed
5 years ago
1
Handle subgraphs
#23
richardmarcus
closed
5 years ago
1
Stable Release
#22
richardmarcus
closed
5 years ago
0
Edge Bundling
#21
richardmarcus
closed
5 years ago
0
Root Orientation
#20
richardmarcus
closed
5 years ago
1
Advanced UI
#19
richardmarcus
opened
5 years ago
0
Clustering
#18
richardmarcus
closed
5 years ago
1
Advanced interaction
#17
richardmarcus
opened
5 years ago
2
Use Cases
#16
richardmarcus
opened
5 years ago
5
Asynchronous/Non-render-thread computation
#15
richardmarcus
closed
5 years ago
3
Non-VR-Version
#14
richardmarcus
closed
5 years ago
1
Handle loops and multiple edges between same two nodes
#13
richardmarcus
closed
5 years ago
3
Support Different Edge-Types
#12
richardmarcus
closed
5 years ago
2
Menu + Interface
#11
richardmarcus
closed
5 years ago
1
WebVR Version
#10
richardmarcus
closed
5 years ago
1
Add license 1
#9
richardmarcus
closed
5 years ago
0
Look into Unity Git helpers
#8
richardmarcus
closed
5 years ago
1
SVG Rendering
#7
richardmarcus
closed
5 years ago
1
Local Server
#6
richardmarcus
closed
5 years ago
1
Node position update
#5
richardmarcus
closed
5 years ago
3
Color Design
#4
richardmarcus
closed
5 years ago
3
Interacting with Nodes
#3
richardmarcus
closed
5 years ago
1
Water Layout
#2
richardmarcus
closed
5 years ago
3
Manual Focus
#1
richardmarcus
closed
5 years ago
1