Pinned Loading

1. Bombermaniac Bombermaniac Public

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

   C++ 2 3

2. Simplifying-Polygons-Visualisation Simplifying-Polygons-Visualisation Public

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

   C++ 8 4

3. FP006-space-shooter FP006-space-shooter Public

   Forked from MATF-FP17/FP006-space-shooter

   [Haskell (Gloss), Functional programming] Space Shooter game in Haskell using Gloss package

   Haskell

4. Relevant-Images-in-HTML Relevant-Images-in-HTML Public

   [Python, Machine learning] Determining Relevant Images From HTML Source

   Python

5. Sequent-Calculus-Prover Sequent-Calculus-Prover Public

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

   C++ 1

6. TailRecursionRemover TailRecursionRemover Public

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

   C++ 1