Popular repositories Loading

1. AzizAlgo AzizAlgo Public

   An implementation of an algorithm by Haris Aziz for the allocation of goods to agents which produces an ex-ante envy-free lottery of EF1 allocations

   Python 2 1

2. PixivUtil2 PixivUtil2 Public

   Forked from Nandaka/PixivUtil2

   Download images from Pixiv and more!

   Python

3. SequentProver SequentProver Public

   A basic theorem prover in C based on sequent calculus

   C

4. SlowES SlowES Public

   A (slow) implementation of AES encryption and decryption.

   C