Maks Verver's repositories

Conhexion

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

Language:JavaStargazers:1Issues:0Issues:0

astral-codex-eleven

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

Language:JavaScriptLicense:MITStargazers:3Issues:0Issues:0

WikipediaGraphSearch

Finds the shortest path from one Wikipedia page to another

Language:C++Stargazers:0Issues:0Issues:0

AdventOfCode

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

Language:PythonStargazers:5Issues:0Issues:0

cses

My solutions to the CSES problem set

Language:C++Stargazers:0Issues:0Issues:0

codecup-sudoku

My Sudoku player for the 2024 CodeCup competition

Language:C++Stargazers:1Issues:0Issues:0

mazes

Uniform random maze generator using Wilson's algorithm.

Language:TypeScriptStargazers:0Issues:0Issues:0

sqlfuse

Encrypted user-space filesystem using SQLite3+SQLCipher+FUSE

Language:CStargazers:3Issues:0Issues:0

alphadoku

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

Language:C++Stargazers:0Issues:0Issues:0

dlx

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

Language:CStargazers:1Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

lynx

C++ port of Lynx

Language:C++Stargazers:0Issues:0Issues:0

kakuro

Kakuro editor and solver with Qt-based GUI

Language:C++Stargazers:0Issues:0Issues:0

cijferkubus

Solver/editor/viewer for a Rubik's cube with digits printed on the faces (instead of colors). GUI requires FLTK.

Language:C++Stargazers:0Issues:0Issues:0

Tnet

Tweakers.net private storage client library

Language:PythonStargazers:0Issues:0Issues:0

mazedoku

Sudoku-like puzzle in a maze..

Language:JavaScriptStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

atlantis-heroku

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

Language:JavaScriptStargazers:0Issues:0Issues:0

pushfight

A solver for the abstract board game Push Fight.

Language:C++Stargazers:4Issues:0Issues:0

tardiff

Binary diff tools for tar archives

Language:CLicense:MITStargazers:4Issues:0Issues:0

duokoban-heroku

Duokoban: a puzzle game for two players using a single keyboard

Language:JavaScriptStargazers:0Issues:0Issues:0

duokoban-static

Duokoban: a puzzle game for two players using a single keyboard

Language:JavaScriptStargazers:0Issues:0Issues:0

xz-random-access

Test with random access in xz compressed files.

Language:CStargazers:0Issues:0Issues:0

jelly

Solver for Jelly no Puzzle (Puzzle of Jellies) written in C++.

Language:C++Stargazers:0Issues:0Issues:0

adama-tictactoe

Simple Tic-Tac-Toe implementation on Adama (currently not functional due to Adama API changes)

Language:JavaScriptStargazers:0Issues:0Issues:0

BrainfuckVM

Brainfuck VM with JIT code generation

Language:CStargazers:1Issues:0Issues:0

kakuro-cmd

Kakuro solver (command-line only)

Language:C++Stargazers:0Issues:0Issues:0

setko-puzzler-67

A peg jumping puzzle

Language:C++Stargazers:0Issues:0Issues:0

hexagon-puzzle

A simple puzzle about flipping tiles in a hexagon

Language:C++Stargazers:0Issues:0Issues:0

codecup-zuniq

(Incomplete!) AI for playing the CodeCup 2021 game Zuniq

Language:C++Stargazers:0Issues:0Issues:0