Pinned Loading

1. learntla-v2 learntla-v2 Public

   Learn TLA+ for free! No prior experience necessary!

   TLA 223 47

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 695 64

4. autohotkey-scripts autohotkey-scripts Public

   Some of my AutoHotKey scripts

   AutoHotkey 228 12

5. tlaplus-exercises tlaplus-exercises Public

   Some experiments in making exercises for teaching TLA+

   TLA 19 2