Popular repositories Loading

1. blezers-battlecode2020 blezers-battlecode2020 Public

   Source code of the "blair blezers" (MIT Battlecode 2020)

   HTML 1

2. intuitionistic-theorem-proving intuitionistic-theorem-proving Public

   The Python code from my Senior Research Project about Automated Theorem Proving in Intuitionistic Propositional Logic.

   Python 1

3. max_of_n_heuristic_args max_of_n_heuristic_args Public

   Python 1

4. dejavu dejavu Public

   Forked from worldveil/dejavu

   Audio fingerprinting and recognition in Python

   Python

5. mbit mbit Public

   Forked from mbhs/mbit

   The website for the Montgomery Blair Informatics Tournament

   CSS

6. cp-library cp-library Public

   Forked from 12tqian/cp-library

   Where I store my competitive programming prewritten code/templates

   C++