Hillel Wayne

awesome-cold-showers. For when people get too hyped up about things

lets-prove-leftpad. Proving leftpad correct two-dozen different ways

learntla. A TLA+ guide

learntla-v2. Learn TLA+ for free! No prior experience necessary!

autohotkey-scripts. Some of my AutoHotKey scripts

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

alloydocs. Proposed documentation for alloytools.org

hacker-test-history. Let's explain all the hacker test questions!

aws-lambda-send-to-slack. A quick lambda script that forwards sns messages to slack

tla-graphing-demo. A demo of analyzing a TLA+ state graph

tla.vim. Vim plugin for TLA+ and PlusCal

tla-snippets. A collection of useful TLA+ operators

tlaplus-exercises. Some experiments in making exercises for teaching TLA+

gpt-tricks. A collection of useful uses of GPT (and other LLMs), organized as examples

safehouse. Ostensibly a "scale-invariant" "headless" "developer-targeted" thingimajig, actually a mental health tool.

practical-tla-plus. Source Code for 'Practical TLA+' by Hillel Wayne

dotfiles. Vim Script

tla-pygments. A terrible pygments plugin from a terrible human

sphinx-github-action-test. A quick repo for testing compiling a sphinx doc and syncing it with S3

tutor. Helps you with math! If you get a problem wrong, tells you why and how you got it wrong.

vscode-tlaplus. TLA+ language support for Visual Studio Code

bad-ideas. Simple problems, terrible solutions.

smlcalc. A programmable calculator written in sml/nj.

rsl. A turing tarpit with multiple registers!

xmlaatot. XML as a Tool of Thought

alloytools.github.io. Website for Alloytools

vim-pivot. Lets you swap text elements around a pivot, eg (a,b) -> (b,a)

minotaur. A Python implementation of Robert Abbott's amazing Theseus and the Minotaur game.

Examples. A collection of TLA+ specifications of varying complexities

wordalyzer. Python

knacks. Python