hwayne Goto Github PK

alloy-hugo-demo

Proof of concept of switching Alloytools from Jekyll to Hugo

alloydocs

Proposed documentation for alloytools.org

alloytools.github.io

Website for Alloytools

apc100

A bunch of code I wrote to control a radiotelescope.

april-cools.github.io

April Cools' Club website

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

bad-ideas

Simple problems, terrible solutions.

cargo-semver-checks

Scan your Rust crate for semver violations.

chaos-clock

Can you make a clock that runs off of chaos theory? Let's find out!

communitymodules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

dotfiles

examples

A collection of TLA+ specifications of varying complexities

gpt-tricks

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

hacker-test-history

Let's explain all the hacker test questions!

hangman

Given a word in the linux dictionary, it solves hangman for that word.

hypothesis-python

Advanced property-based (QuickCheck-like) testing for Python

hypothesisworks.github.io

Main hypothesis.works website

jsource

J engine source mirror

knacks

learn-fsharp

I really want to learn fsharp.

learntla

A TLA+ guide

learntla-v2

Learn TLA+ for free! No prior experience necessary!

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

minotaur

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

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

pygments

Pygments is a generic syntax highlighter written in Python

ripper-beam

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

robotfight

The brutal struggle against my most hated enemy.