Pinned Repositories
AlphaToe
Applying the deep learning techniques from Alpha Go to play tic-tac-toe
bbc
busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
cbi-flag-chrome
Automatically exported from code.google.com/p/cbi-flag-chrome
coq
Experiments with Coq
furthest-point
Find the point on Earth which is furthest from all the places you have ever visited
gobandroid
A Goban for Android
hanabi
sligocki.github.io
wikitree
Tools for working with WikiTree data dumps
sligocki's Repositories
sligocki/busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
sligocki/sligocki.github.io
sligocki/coq
Experiments with Coq
sligocki/furthest-point
Find the point on Earth which is furthest from all the places you have ever visited
sligocki/gobandroid
A Goban for Android
sligocki/wikitree
Tools for working with WikiTree data dumps
sligocki/AlphaToe
Applying the deep learning techniques from Alpha Go to play tic-tac-toe
sligocki/bbc
sligocki/bbchallenge
Frontend of https://bbchallenge.org
sligocki/busy-beaver-data
sligocki/cbi-flag-chrome
Automatically exported from code.google.com/p/cbi-flag-chrome
sligocki/hanabi
sligocki/bbchallenge-proofs
Mathematical proofs of the bbchallenge project.
sligocki/charades-randomizer
sligocki/cpython
The Python programming language
sligocki/dafny_projects
sligocki/docker
Docker images for eBird Status and Trends
sligocki/etc
Various small experiments
sligocki/flem-counter
sligocki/gedcom
Tools for working with GEDCOM Genealogy files
sligocki/go
sligocki/lda
sligocki/mod
Modular arithmetic in Python :100:
sligocki/mystery-hunt-2019
sligocki/parquet-tools
easy install parquet-tools
sligocki/ranger
A Fast Implementation of Random Forests
sligocki/shell_configs
My .bashrc and other related configs