Hillel Wayne (@hwayne)
github

hwayne

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8,162
  • Global Rank 2,876 (Top 0.1 %)
  • Followers 674
  • Following 22
  • Registered about 12 years ago
  • Most used languages
    Python
         47.6 %
    Vim Script
         14.3 %
    TLA     9.5 %
    Shell
         4.8 %
    CSS
         4.8 %
    Standard ML     4.8 %
    SystemVerilog     4.8 %
    JavaScript
         4.8 %
    AutoHotkey     4.8 %
  • Location 🇺🇸 United States
  • Country Total Rank 1,281
  • Country Ranking
    SystemVerilog     2
    TLA     5
    AutoHotkey     10
    Standard ML     168
    Vim Script
         410
    CSS
         417
    Python
         5,589

Top repositories

1

awesome-cold-showers

For when people get too hyped up about things
6,601
star
2

lets-prove-leftpad

Proving leftpad correct in a dozen different ways
SystemVerilog
585
star
3

learntla

A TLA+ guide
CSS
278
star
4

autohotkey-scripts

Some of my AutoHotKey scripts
AutoHotkey
196
star
5

learntla-v2

Learn TLA+ for free! No prior experience necessary!
TLA
144
star
6

tlacli

A script for running TLA+/TLC from the command line
Python
77
star
7

alloydocs

Proposed documentation for alloytools.org
Python
64
star
8

hacker-test-history

Let's explain all the hacker test questions!
43
star
9

aws-lambda-send-to-slack

A quick lambda script that forwards sns messages to slack
JavaScript
34
star
10

tla.vim

Vim plugin for TLA+ and PlusCal
Vim Script
29
star
11

tla-graphing-demo

A demo of analyzing a TLA+ state graph
Python
27
star
12

tla-snippets

A collection of useful TLA+ operators
TLA
21
star
13

gpt-tricks

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

safehouse

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

dotfiles

Vim Script
8
star
16

sphinx-github-action-test

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

tutor

Helps you with math! If you get a problem wrong, tells you why and how you got it wrong.
Python
2
star
18

tla-pygments

A terrible pygments plugin from a terrible human
Python
2
star
19

bad-ideas

Simple problems, terrible solutions.
Shell
1
star
20

wordalyzer

Python
1
star
21

knacks

Python
1
star
22

xmlaatot

XML as a Tool of Thought
1
star
23

rsl

A turing tarpit with multiple registers!
Python
1
star
24

smlcalc

A programmable calculator written in sml/nj.
Standard ML
1
star
25

vim-pivot

Lets you swap text elements around a pivot, eg (a,b) -> (b,a)
Vim Script
1
star
26

minotaur

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