Maks Verver

read. A speed-reading bookmarklet using rapid serial visual presentation.

tardiff. Binary diff tools for tar archives

AdventOfCode. Solutions to Advent of Code (see: http://adventofcode.com/)

pushfight. A solver for the abstract board game Push Fight.

sqlfuse. Encrypted user-space filesystem using SQLite3+SQLCipher+FUSE

PrimaDvonna. CodeCup 2011 (Dvonn) winner!

astral-codex-eleven. A Chrome browser extension to speed up loading of posts on https://www.astralcodexten.com/ by replacing the comments widget.

unzip-p. Info-ZIP unzip with patches

trisa-body-analyze. Tool to read weight measurements from Trisa Body Analyze 4.0 smart scale over Bluetooth 4.0 BLE.

FretsOnFire. Frets on Fire performance hacks and advanced features

inflate. DEFLATE decompressor library written in C

brainfuck. Brainfuck interpreters, tools and programs

BrainfuckVM. Brainfuck VM with JIT code generation

codecup-sudoku. My Sudoku player for the 2024 CodeCup competition

go-ayu. Ayu game code implemented in Go

cc25-box-online-multiplayer. An unofficial online multiplayer version of CodeCup 2025 contest game Box

key-encoding. A human-readable base-32 encoding for binary strings.

dlx. An exact cover solver based on Knuth's Dancing Links algorithm X

geyser. BitTorrent server which combines tracker, seeder and torrent-file generator functionality

Conhexion. Conhexion is an Android app implementing a tiling puzzle that was originally conceived by Martin Medema under the name The China Labyrinth.

backup. Desktop backup software with pluggable storage backend

unzip. Fork of InfoZIP UnZip 6.0 for new zip bomb detection patch

foxtrot. FUSE-based SMB/CIFS filesystem

alphadoku. DLX-based Alphadoku (25x25 Sudoku) solvers written in C++ and Fortran

tripledb. RDF triple database

compression. Some compression primitives: Burrows-Wheeler Transform, Move-To-Front encoding, Huffman coding