Maks Verver

Finds the shortest path from one Wikipedia page to another

A solver for the abstract board game Push Fight.

Official repo for par3cmdline and par3lib

Android app to play the abstract board game Poly-Y

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

Solutions to the Infi Advent of Code challenges: https://aoc.infi.nl/

A speed-reading bookmarklet using rapid serial visual presentation.

Info-ZIP unzip with patches

Minimalist Chrome/Brave extension to fix Reddit preventing images to be opened directly (Manifest V3 compatible)

PyTorch extensions for high performance and large scale training.

Implementation of the board game Crossing Olympus

Fork of InfoZIP UnZip 6.0 for new zip bomb detection patch

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

A simple GUI tool to manage resources which can be opened/closed.

A typing game using 64 bits of state (for Joshua Barretto's Bitwise Gamedev Challenge)

No description provided.

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

A tool for generating enumerating prime numbers using a segmented sieve of Eratosthenes

Some experimental tools for parsing PAR2/PAR3 files with Python

My Box player for the 2025 CodeCup competition

A Python feed reader library.

No description provided.

Parse feeds in Python

My solutions to the CSES problem set

Webbased multi-player implementation of the abstract strategic board game, Atlantis.

RDF triple database

Fork of the code on Daniel Lemire's blog

A solver for the maximum clique problem in undirected graphs.

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

A challenging tower conquest board game inspired by "Mixtour".