Alejandro Lopez

WeiqiHub. A unified client to multiple Go servers and offline puzzle solving.

zrlc. The ZRL Programming Language

WalrusHub. C++

kaktusat. A study playground about SAT solvers, their implementation and applications

cicada3301. A playground to experiment with cicada puzzles.

flutter_ubuntu_build_repro. C++