Janzert/AEI
The Arimaa Engine Interface provides a standard method to communicate and control an Arimaa bot.
Repositories
Janzert/OpFor
An Arimaa bot written in the D programming language
Janzert/nice-numbers-certified
Machine-checked (Lean 4) proofs that specific bases have no nice number
Janzert/nice-numbers-lean
Machine-checked Lean 4 proofs for the article series Nice Numbers And The Middle Digit Wall
Janzert/timberborn_autosplitter
LiveSplit auto splitter for Timberborn
Janzert/LiveSplit.AutoSplitters
Auto Splitters for LiveSplit
Janzert/asr
Helper crate to write auto splitters for LiveSplit One's auto splitting runtime.
Janzert/nice
Join the distributed search for square-cube pandigitals!
Janzert/nikola
A static website and blog generator
Janzert/beanprice
Daily price quotes fetching library for plain-text accounting
Janzert/fava
Fava - web interface for Beancount
Janzert/StagedBlueprintPlanning
The ultimate Factorio mod for advanced blueprint planning.
Janzert/aider
aider is AI pair programming in your terminal
Janzert/maproll
Simple Factorio Map Rerolls
Janzert/fictionario
Janzert/textual
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
Janzert/mailbox-size-test
Simple docker container to test imap mailboxes of various sizes on a client.
Janzert/factorio-miniloader
UPS-friendly 1x1 psuedo-loaders for Factorio
Janzert/exotic-industries
Janzert/halite_ranking
Some misc Halite ranking things.
Janzert/pyinstaller
Freeze (package) Python programs into stand-alone executables
Janzert/obs-advanced-timer
Janzert/FullPageOS
A raspberrypi distro to display a full page browser on boot
Janzert/Halite-III
Season 3 of @twosigma's artificial intelligence programming challenge
Janzert/peps
Python Enhancement Proposals
Janzert/Halite-II
Season 2 of @twosigma's artificial intelligence programming challenge
Janzert/Halite
@twosigma's artificial intelligence programming challenge
Janzert/pyramid_alembic_mako
Pyramid Alembic/SQLAlchemy project scaffold using url dispatch and Mako templates
Janzert/tournament_tools
Miscellaneous tools for use with tournament management
Janzert/VAC-Check
Checks VAC status on recently played with friends