Hillel Wayne

icon indicating a website link https://hillelwayne.com

icon location Chicago

Results 14 repositories owned by Hillel Wayne
trafficstars

tla-snippets

21
Stars
1
Forks
Watchers

A collection of useful TLA+ operators

verified publisher icon hwayne

tla.vim

29
Stars
4
Forks
Watchers

Vim plugin for TLA+ and PlusCal

verified publisher icon hwayne

gpt-tricks

16
Stars
0
Forks
Watchers

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

verified publisher icon hwayne

tla-graphing-demo

27
Stars
0
Forks
Watchers

A demo of analyzing a TLA+ state graph

verified publisher icon hwayne