WORK IN PROGRESS

Compositional Diagrammatic Protocol Language

petri net + operad + dag + fp + types + crypto = stbx.

Some WIP
  • nll-spec binary codec for list of lists of (signed) varints
  • nll-js JS implementation of NLL
  • ipfs/notes#168 proposal of binary encoding of bipartite graphs