Jeffrey Bosboom's repositories
tatamibari-solver
Z3-based Tatamibari solver, and figures from Tatamibari NP-hardness paper
container-crud
coding test
dbus-broker
for pull requests only; not a developed fork
dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
dolphin
the emulator; for pull requests only, not a developed fork
exapunks-solitaire-bot
Bot that plays the ПАСЬЯНС solitaire minigame from EXAPUNKS
hexcellsbot
Mostly-not-working bot that plays Hexcells
more-itertools
for pull requests only; not a developed fork
ntfs-3g
NTFS-3G Safe Read/Write NTFS Driver
parallelbfs
Library for parallel breadth-first search
pathpuzzle-solver
Solves path puzzles
picard
MusicBrainz Picard audio file tagger
prelogate-solver
solves puzzles from the puzzle game Prelogate
pushfight-solver
Solves the abstract board game Push Fight
pyacoustid
Python bindings for Chromaprint acoustic fingerprinting and the Acoustid Web service
pycrc
Free, easy to use Cyclic Redundancy Check (CRC) calculator and source code generator
reedsolomon
A pure-python Reed Solomon encoder/decoder
ryzen_monitor
for pull requests only; not a developed fork
sigmars-gardener
Bot that plays the Sigmar's Garden solitaire minigame from Opus Magnum
snakebirdsolver
Snakebird Bruteforce Solver
sokobondbot
Mostly-working bot that solves some Sokobond puzzles
systemd
for pull requests only; not a developed fork
tenmillionbot
plays the match-3 puzzle game 10000000
windmill-client
Build and play puzzles based on the puzzle logic of The Witness