Hillel Wayne hwayne

Achievements

Achievements

Pinned Loading

1. learntla-v2 learntla-v2 Public

   Learn TLA+ for free! No prior experience necessary!

   TLA 269 53

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

   For when people get too hyped up about things

   7.3k 82

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

   Proving leftpad correct two-dozen different ways

   SystemVerilog 751 69

4. autohotkey-scripts autohotkey-scripts Public

   Some of my AutoHotKey scripts

   AutoHotkey 234 11

5. tlaplus-exercises tlaplus-exercises Public

   Some experiments in making exercises for teaching TLA+

   TLA 20 2