Beast code in Giters

Shawn Ligocki's repositories

busy-beaver

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

Language:PythonMIT27 6 8

sligocki.github.io

Language:HTML4 3 5

coq

Experiments with Coq

Language:HTML2 20

furthest-point

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

Language:Python1 20

wikitree

Tools for working with WikiTree data dumps

Language:Python1 30

AlphaToe

Applying the deep learning techniques from Alpha Go to play tic-tac-toe

Language:PythonMIT020

bbc

Language:RustApache-2.0010

bbchallenge

Frontend of https://bbchallenge.org

Language:Svelte000

cbi-flag-chrome

Automatically exported from code.google.com/p/cbi-flag-chrome

Language:JavaScript020

gobandroid

A Goban for Android

Language:Java010

hanabi

Language:Python010

bbchallenge-proofs

Mathematical proofs of the bbchallenge project.

CC-BY-4.0000

busy-beaver-data

030

charades-randomizer

Language:HTML020

cpython

The Python programming language

NOASSERTION000

dafny_projects

Language:Dafny000

docker

Docker images for eBird Status and Trends

Language:Dockerfile010

etc

Various small experiments

Language:Python020

flem-counter

Language:Python010

gedcom

Tools for working with GEDCOM Genealogy files

Language:Python000

go

Language:C++030

lda

Language:Python000

mod

Modular arithmetic in Python :100:

Language:PythonMIT010

mystery-hunt-2019

Language:Python010

parquet-tools

easy install parquet-tools

Language:PythonMIT000

shell_configs

My .bashrc and other related configs

Language:Python020