A showcase of interesting code and proof developments in Cedille - View it on GitHub