Simplifying-Polygons-Visualisation

[C++ (Qt), Computational geometry] Visualisation of Ramer-Douglas-Peucker and Visvalingam-Whyatt algorithms for simplifying polygons

Hill-Climbing

[Python, Algorithms] Various implementations of Hill climbing algorithm

Bombermaniac

[C++ (SDL2)] Bomberman - clone of the NES game in C++ using SDL

TailRecursionRemover

[C++, Clang, Compilers] Clang tool for eliminating tail recursion in C

Sequent-Calculus-Prover

[C++, Automated reasoning] Command line tool for searching proofs of propositional calculus formulas using sequent calculus