Pinned Loading

1. average-competitive-programming average-competitive-programming Public

   The best competitive programming tutorials on codeforces for those who are not awesome yet.

   C++ 74 25

2. awesome-program-synthesis awesome-program-synthesis Public

   An curated list of papers on program synthesis.

   67 3

3. taktics taktics Public

   A solver for the game of Tak as described in Patrick Rothfuss's Kingkiller Chronicles.

   Python 7 1

4. slitherlinky slitherlinky Public

   A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.

   Python 5 2

5. ruzzler ruzzler Public

   Game assistant to find all words in a 4x4 alphabet grid.

   Python 2

6. project-euler project-euler Public

   my Project Euler solutions

   C++ 2