Proyectos
Algunos proyectos en los que estado involucrado. En cursiva, breve descripción de la aportación realizada.
(Co)autor
hemma: Display estilo estación meteorológica que muestra la previsión del tiempo y los horarios de autobuses de Västtrafik (Suecia).
is: Definición automática de predicados con Template Haskell, o con genéricos (Haskell).
coq_course: Un breve curso sobre el asistente de demostración Coq basado en el libro Software Foundations. Coorganizador.
Colaborador
agda: Demostración interactiva de teoremas usando tipos dependientes (Haskell) Documentación, infraestructura para soporte para distintos formatos de programación letrada.
fire: Recepción y corrección de deberes (Python, CoffeeScript/JS, LESS/CSS). Soporte para Markdown, corrección de bugs.
limestone: Lógica lineal para computación con vectores (prueba de concepto) (Haskell, C). Generación de código C, soporte para secuencias.
free: Jugando con mónadas libres (Haskell). Documentación, instancias adicionales y pruebas formales.
email_message: Parsing de e-mail (OCaml) Autor original del código.