-- Desarrollo de un driver par placas de red NE2000 compatibles ISA y un
- stack pequeño y personalizado de IP/UDP para microcontroladores 8051
- en C y ASM (2005).
-- Diseño, implementación y mantenimiento de un sistema de compilación
- y prueba automática de programas escritos en C/C++ para agilizar el
- proceso de corrección de ejercicios de programación (2004-actualidad).
+- Desarrollo de Etherled_, incluyendo un driver para placas de red ISA NE2000
+ compatibles y un stack reducido y personalizado de IP/UDP para
+ microcontroladores 8051 en C y ASM (2005).
+- Diseño, implementación y mantenimiento de Sercom_, un sistema de compilación
+ y prueba automática de programas escritos en C/C++ para agilizar el proceso
+ de corrección de ejercicios de programación (2004-2009).
+- Desarrollo y mantenimiento de eventxx_, un *thin-wrapper* para C++ de
+ libevent_ (2007).
+- Desarrollo de Pymin_, una herramienta para administración de *routers*
+ Linux_ basada en un servidor escrito en Python (2008).
+- Desarrollo y mantenimiento de ev.d_, un *thin-wrapper* para D de libev_
+ (2008).
+- Desarrollo y mantenimiento de mutest_, un micro *framework* de *unit testing*
+ para C y C++ (2008).