Pinned Loading

1. learntla-v2 learntla-v2 Public

   Learn TLA+ for free! No prior experience necessary!

   TLA 256 50

2. awesome-cold-showers awesome-cold-showers Public

   For when people get too hyped up about things

   7.3k 81

3. lets-prove-leftpad lets-prove-leftpad Public

   Proving leftpad correct two-dozen different ways

   SystemVerilog 725 66

4. autohotkey-scripts autohotkey-scripts Public

   Some of my AutoHotKey scripts

   AutoHotkey 230 11

5. tlaplus-exercises tlaplus-exercises Public

   Some experiments in making exercises for teaching TLA+

   TLA 20 2