https://github.com/hwayne/awesome-cold-showers

For when people get too hyped up about things

programming

Last synced: 28 Jan 2026

https://github.com/hwayne/lets-prove-leftpad

Proving leftpad correct two-dozen different ways

Last synced: 01 Feb 2026

https://github.com/hwayne/autohotkey-scripts

Some of my AutoHotKey scripts

autohotkey autohotkey-script

Last synced: 08 Feb 2026

https://github.com/hwayne/learntla-v2

Learn TLA+ for free! No prior experience necessary!

book formal-methods formal-specification formal-verification tla tlaplus

Last synced: 26 Jan 2026

https://github.com/hwayne/tlacli

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

formal-methods tlaplus tlc

Last synced: 01 Apr 2026

https://github.com/hwayne/alloydocs

Proposed documentation for alloytools.org

Last synced: 09 Apr 2025

https://github.com/hwayne/hacker-test-history

Let's explain all the hacker test questions!

Last synced: 13 Feb 2026

https://github.com/hwayne/aws-lambda-send-to-slack

A quick lambda script that forwards sns messages to slack

Last synced: 10 Apr 2025

https://github.com/hwayne/tla-graphing-demo

A demo of analyzing a TLA+ state graph

Last synced: 10 Apr 2025

https://github.com/hwayne/tla.vim

Vim plugin for TLA+ and PlusCal

Last synced: 21 Sep 2025

https://github.com/hwayne/gpt-tricks

A collection of useful uses of GPT (and other LLMs), organized as examples

Last synced: 13 Feb 2026

https://github.com/hwayne/sphinx-github-action-test

A quick repo for testing compiling a sphinx doc and syncing it with S3

Last synced: 19 Mar 2026

https://github.com/hwayne/tla-pygments

A terrible pygments plugin from a terrible human

pygments sadness

Last synced: 12 Sep 2025

https://github.com/hwayne/smlcalc

A programmable calculator written in sml/nj.

Last synced: 19 Feb 2026

https://github.com/hwayne/wordalyzer

Last synced: 10 Jun 2026

https://github.com/hwayne/bad-ideas

Simple problems, terrible solutions.

Last synced: 12 Jun 2025

https://github.com/hwayne/knacks

Last synced: 29 May 2026

https://github.com/hwayne/xmlaatot

XML as a Tool of Thought

Last synced: 19 Mar 2026

https://github.com/hwayne/alloy-hugo-demo

Proof of concept of switching Alloytools from Jekyll to Hugo

Last synced: 05 Mar 2026

https://github.com/hwayne/tla-labs

Prototyping a few guided labs for TLA+

labs tla

Last synced: 23 Feb 2026

https://github.com/hwayne/tlaplus-exercises

Some experiments in making exercises for teaching TLA+

Last synced: 16 Mar 2025

https://github.com/hwayne/safehouse-launcher

A quick script that gets Heroku Safehouse instances up and running really quickly

Last synced: 08 Jun 2026

https://github.com/hwayne/ripper-beam

I dunno, I just really wanted to create a create a project called "Ripper Beam"

Last synced: 08 Oct 2025