Pinned Repositories
AzizAlgo
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
PixivUtil2
Download images from Pixiv and more!
SequentProver
A basic theorem prover in C based on sequent calculus
SlowES
A (slow) implementation of AES encryption and decryption.
PixivUtil2
Download images from Pixiv and more!
capstone-project-usepackage
capstone-project-usepackage created by GitHub Classroom
KSuiz's Repositories
KSuiz/AzizAlgo
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
KSuiz/PixivUtil2
Download images from Pixiv and more!
KSuiz/SequentProver
A basic theorem prover in C based on sequent calculus
KSuiz/SlowES
A (slow) implementation of AES encryption and decryption.