Shawn Ligocki sligocki

Achievements

Achievements

Organizations

Pinned Loading

1. busy-beaver busy-beaver Public

   Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

   Python 51 8

2. busycoq busycoq Public

   Forked from ccz181078/busycoq

   Busy Beaver deciders backed by Coq proof

   Coq

3. wikitree wikitree Public

   Tools for working with WikiTree data dumps

   Python 1 1

4. furthest-point furthest-point Public

   Find the point on Earth which is furthest from all the places you have ever visited

   Python 1

5. sligocki.github.io sligocki.github.io Public

   HTML 4 2

6. shell_configs shell_configs Public

   My .bashrc and other related configs

   Python