Pinned Repositories
alloydocs
Proposed documentation for alloytools.org
autohotkey-scripts
Some of my AutoHotKey scripts
awesome-cold-showers
For when people get too hyped up about things
aws-lambda-send-to-slack
A quick lambda script that forwards sns messages to slack
hacker-test-history
Let's explain all the hacker test questions!
learntla
A TLA+ guide
learntla-v2
Learn TLA+ for free! No prior experience necessary!
lets-prove-leftpad
Proving leftpad correct two-dozen different ways
tlacli
A script for running TLA+/TLC from the command line
tlaplus-exercises
Some experiments in making exercises for teaching TLA+
hwayne's Repositories
hwayne/awesome-cold-showers
For when people get too hyped up about things
hwayne/lets-prove-leftpad
Proving leftpad correct two-dozen different ways
hwayne/learntla
A TLA+ guide
hwayne/autohotkey-scripts
Some of my AutoHotKey scripts
hwayne/learntla-v2
Learn TLA+ for free! No prior experience necessary!
hwayne/tlacli
A script for running TLA+/TLC from the command line
hwayne/alloydocs
Proposed documentation for alloytools.org
hwayne/hacker-test-history
Let's explain all the hacker test questions!
hwayne/tla-graphing-demo
A demo of analyzing a TLA+ state graph
hwayne/tla.vim
Vim plugin for TLA+ and PlusCal
hwayne/tlaplus-exercises
Some experiments in making exercises for teaching TLA+
hwayne/gpt-tricks
A collection of useful uses of GPT (and other LLMs), organized as examples
hwayne/practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
hwayne/sphinx-github-action-test
A quick repo for testing compiling a sphinx doc and syncing it with S3
hwayne/tla-pygments
A terrible pygments plugin from a terrible human
hwayne/vscode-tlaplus
TLA+ language support for Visual Studio Code
hwayne/alloytools.github.io
Website for Alloytools
hwayne/Examples
A collection of TLA+ specifications of varying complexities
hwayne/knacks
hwayne/xmlaatot
XML as a Tool of Thought
hwayne/advent
Contains all data relating to the annual Raku Advent event held 1-25 December
hwayne/alloy-hugo-demo
Proof of concept of switching Alloytools from Jekyll to Hugo
hwayne/april-cools.github.io
April Cools' Club website
hwayne/AutoHotkeyDocs
Documentation for AutoHotkey
hwayne/cargo-semver-checks
Scan your Rust crate for semver violations.
hwayne/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
hwayne/HypothesisWorks.github.io
Main hypothesis.works website
hwayne/jsource
J engine source mirror
hwayne/pygments
Pygments is a generic syntax highlighter written in Python
hwayne/sphinx
The Sphinx documentation generator