TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TypeScript/JavaScript CDK for the Internet Computer

Utility functions copy/pasted (and modified slightly) from Stack Overflow

presentation of making a simple Sinatra form; lightning talk for beginners @ Los Angeles Hack Night

DynamoDB ORM for Node.js

presentation of making a simple Sinatra form; lightning talk for Los Angeles meetups

Ruby Poker Server using Spire.IO

A Node.js HTTP Client