Popular repositories Loading

1. scam scam Public

   A scam repository

   Python 4

2. ddpm-ss ddpm-ss Public

   Python 1

3. 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++

4. 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++

5. asr-project asr-project Public

   Python

6. dl2-bhw1 dl2-bhw1 Public

   TeX