Christa Jenkins's Projects
The Agda standard library
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Source files used for the Cedille Cast videos
Specification of the Cedille Core language
A showcase of interesting code and proof developments in Cedille
Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
Agda implementation of "Bidirectional Typing Rules" by David Christiansen
Personal Github page
Research library of the ##dependent IRC channel
A simple Org-mode interface to Toggl
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!