Stars
5
results
for source starred repositories
Clear filter
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
presentation of making a simple Sinatra form; lightning talk for Los Angeles meetups