| <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"> | |
| <html> | |
| <head> | |
| <meta name="generator" content= | |
| "HTML Tidy for Linux (vers 25 March 2009), see www.w3.org"> | |
| <meta http-equiv="Content-type" content= | |
| "text/html; charset=us-ascii"> | |
| <title>Graph from a matrix</title> | |
| <script type="text/javascript" src= |
Click in the open space to add a node, drag from one node to another to add an edge.
Ctrl-drag a node to move the graph layout.
Click a node or an edge to select it.
When a node is selected: R toggles reflexivity, Delete removes the node.
When an edge is selected: L(eft), R(ight), B(oth) change direction, Delete removes the edge.
To see this example as part of a larger project, check out Modal Logic Playground!
| license: gpl-3.0 | |
| height: 960 |
| license: gpl-3.0 | |
| height: 600 |
| license: gpl-3.0 |
| license: gpl-3.0 |
| license: gpl-3.0 |
| <!doctype html> | |
| <html> | |
| <head> | |
| <title>Resolution independent rendering of Bezier curves in WebGL</title> | |
| <meta http-equiv="content-type" content="text/html; charset=UTF-8"> | |
| <script src="glMatrix-0.9.6.min.js"></script> | |
| <script id="shader-vs" type="x-shader/x-vertex"> | |
| attribute vec3 aVertexPosition; | |
| attribute vec2 aBezierCoord; |
