A JavaScript library aimed at visualizing graphs of thousands of nodes and edges

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Audio landmark fingerprinting as a Node Stream module

A document language for the browser

A collaborative corkboard app

Snapshots a web page to get it as a static, self-contained HTML document.

A Menu Bar player for Poolside.fm built with React and Electron

Erlang code formatter for Visual Studio Code