I code to make weird art and music. When I'm tired I read critical theory and hyperventilate about everything I don't know.
Stars
CodeXL is a comprehensive tool suite that enables developers to harness the benefits of CPUs, GPUs and APUs.
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.