High performance self-hosted photo and video management solution.

A modern LaTeX Beamer theme

An unofficial client for the Google Keep API.

Track Emacs commands frequency

The PERPL Compiler

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations