Hillel Wayne
hwayne
Languages
Loading contributions...
Top Repositories
For when people get too hyped up about things
Proving leftpad correct two-dozen different ways
A TLA+ guide
Learn TLA+ for free! No prior experience necessary!
Some of my AutoHotKey scripts
A script for running TLA+/TLC from the command line
Repositories
51For when people get too hyped up about things
Learn TLA+ for free! No prior experience necessary!
Proving leftpad correct two-dozen different ways
Some of my AutoHotKey scripts
A script for running TLA+/TLC from the command line
A TLA+ guide
Let's explain all the hacker test questions!
Proposed documentation for alloytools.org
A collection of useful TLA+ operators
A terrible pygments plugin from a terrible human
Some experiments in making exercises for teaching TLA+
Simple problems, terrible solutions.
Documentation for AutoHotkey
Vim plugin for TLA+ and PlusCal
TLA+ language support for Visual Studio Code
Contains all data relating to the annual Raku Advent event held 1-25 December
The Sphinx documentation generator
A quick lambda script that forwards sns messages to slack
A demo of analyzing a TLA+ state graph
A programmable calculator written in sml/nj.
Ostensibly a "scale-invariant" "headless" "developer-targeted" thingimajig, actually a mental health tool.
A collection of useful uses of GPT (and other LLMs), organized as examples
A bunch of code I wrote to control a radiotelescope.
A turing tarpit with multiple registers!
The brutal struggle against my most hated enemy.
Lets you swap text elements around a pivot, eg (a,b) -> (b,a)
Helps you with math! If you get a problem wrong, tells you why and how you got it wrong.
Can you make a clock that runs off of chaos theory? Let's find out!
Given a word in the linux dictionary, it solves hangman for that word.
A Python implementation of Robert Abbott's amazing Theseus and the Minotaur game.