• This repository has been archived on 27/Apr/2023
  • Stars
    star
    1
  • Language
    Vim Script
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated over 10 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lets you swap text elements around a pivot, eg (a,b) -> (b,a)

More 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!
42
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

minotaur

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