Skip to content

Instantly share code, notes, and snippets.

View bring2dip's full-sized avatar
🏠
Working from home

Deepak Bhattarai bring2dip

🏠
Working from home
View GitHub Profile
@bring2dip
bring2dip / README.md
Created April 12, 2017 01:43 — forked from rkirsling/LICENSE
Directed Graph Editor

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!

@bring2dip
bring2dip / 0_reuse_code.js
Created July 30, 2014 15:45
Here are some things you can do with Gists in GistBox.
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console