Popular repositories Loading

1. dotaMMR dotaMMR Public

   Tool for graphing Dota MMR gain

   Python 1

2. buruchess buruchess Public

   Chess engine made from scratch in under 1 hour

   C++ 1

3. adventofcode adventofcode Public

   Solutions for Advent of Code over the years

   C++ 1 1

4. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

5. utilities utilities Public

   Various small utility scripts/programs

   Python