Popular repositories Loading

1. scam scam Public

   A scam repository

   Python 4

2. qock qock Public

   This project is currently an implementation of a proof-checker. But it is planned to be extended; for example, to support algorithm extraction from intuitionistic proofs, which is considered to be …

   C++

3. solve-2048 solve-2048 Public

   A project aiming to solve the famous 2048 game -- determine whether or not there exists a winning strategy, and what is the maximal tile guaranteedly achievable. Currently the largest solved game o…

   C++

4. asr-project asr-project Public

   Python

5. dl2-bhw1 dl2-bhw1 Public

   TeX

6. dla-hw4 dla-hw4 Public

   Python