Pinned Loading

1. petri-tlaplus petri-tlaplus Public

   TLA+ specifications for Petri nets

   TLA 5

2. bitempura bitempura Public

   Toy bitemporal key-value database and visualizer

   Go 11

3. dignum dignum Public

   REST API generator for XTDB w/ schema-on-write

   Clojure 7

4. bettor bettor Public

   Parimutuel betting Discord bot. Inspired by Twitch predictions

   Go 8 1

5. ePhone ePhone Public

   iframe on an iPhone model using three.js

   JavaScript 4

6. xtbb xtbb Public

   XTDB querying CLI

   Clojure 15