Pinned

1. learntla

   A TLA+ guide

   CSS 232 54

2. tlacli

   A script for running TLA+/TLC from the command line

   Python 50 3

3. awesome-cold-showers

   For when people get too hyped up about things

   4.4k 54

4. lets-prove-leftpad

   Proving leftpad correct in a dozen different ways

   SystemVerilog 350 37

5. alloydocs

   Proposed documentation for alloytools.org

   Python 40 11