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.