Pinned Repositories
bytecodelib
LLVM-like JVM bytecode library
lynebot
plays the puzzle game LYNE
opentuner
An extensible framework for program autotuning
stratabot
plays the puzzle game Strata
streamjit
DSL and commensal compiler for high-performance stream programming
svg-tiler
tiles SVGs from ASCII input (deprecated: use edemaine/svgtiler instead)
tatamibari-solver
Z3-based Tatamibari solver, and figures from Tatamibari NP-hardness paper
windowlib
Java bindings to Windows window APIs
jbosboom's Repositories
jbosboom/opentuner
An extensible framework for program autotuning
jbosboom/svg-tiler
tiles SVGs from ASCII input (deprecated: use edemaine/svgtiler instead)
jbosboom/tatamibari-solver
Z3-based Tatamibari solver, and figures from Tatamibari NP-hardness paper
jbosboom/container-crud
coding test
jbosboom/dbus-broker
for pull requests only; not a developed fork
jbosboom/disgaea-2-automation
jbosboom/dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
jbosboom/dolphin
the emulator; for pull requests only, not a developed fork
jbosboom/exapunks-solitaire-bot
Bot that plays the ПАСЬЯНС solitaire minigame from EXAPUNKS
jbosboom/gadget-search-traces
jbosboom/hexcellsbot
Mostly-not-working bot that plays Hexcells
jbosboom/more-itertools
for pull requests only; not a developed fork
jbosboom/ntfs-3g
NTFS-3G Safe Read/Write NTFS Driver
jbosboom/parallelbfs
Library for parallel breadth-first search
jbosboom/pathpuzzle-solver
Solves path puzzles
jbosboom/picard
MusicBrainz Picard audio file tagger
jbosboom/prelogate-solver
solves puzzles from the puzzle game Prelogate
jbosboom/pushfight-solver
Solves the abstract board game Push Fight
jbosboom/pyacoustid
Python bindings for Chromaprint acoustic fingerprinting and the Acoustid Web service
jbosboom/pycrc
Free, easy to use Cyclic Redundancy Check (CRC) calculator and source code generator
jbosboom/reedsolomon
A pure-python Reed Solomon encoder/decoder
jbosboom/ryzen_monitor
for pull requests only; not a developed fork
jbosboom/sigmars-gardener
Bot that plays the Sigmar's Garden solitaire minigame from Opus Magnum
jbosboom/snakebirdsolver
Snakebird Bruteforce Solver
jbosboom/sokobondbot
Mostly-working bot that solves some Sokobond puzzles
jbosboom/systemd
for pull requests only; not a developed fork
jbosboom/tenmillionbot
plays the match-3 puzzle game 10000000
jbosboom/test-partial-clone-sparse-checkout
jbosboom/tis-100
An emulator for the TIS-100 CPU
jbosboom/windmill-client
Build and play puzzles based on the puzzle logic of The Witness