Varios lenguajes de programación.
Mariposa 2024 - Prototipo de un lenguaje imperativo en el que los programas pueden viajar en el tiempo. Lenguaje de implementación: Haskell.
HDP 2023 - Lenguaje funcional minimalista basado en lógica lineal intuicionista con cuantificación universal de segundo orden. Lenguaje de implementación: Haskell.
Falopa 2019 - Lenguaje tipado con características funcionales y lógicas. Lenguaje de implementación: Python. Interpretado.
Flecha 2018 - Lenguaje funcional no tipado, con pattern matching. Lenguaje de implementación: Haskell. Lenguaje objeto: máquina virtual ad hoc (Mamarracho).
Lleca 2017 - Parser genérico. Dada una gramática LL(1) anotada con acciones y un input genera un AST. Lenguaje de implementación: Haskell.
Cucaracha 2016 - Lenguaje imperativo que compila a assembler sin hacer nunca malloc (usa únicamente el stack). Lenguaje de implementación: Haskell. Lenguaje objeto: ASM x86_64 (nasm).
Qriollo 2015 - Lenguaje funcional tipado. Lenguaje de implementación: Haskell. Lenguaje objeto: C/Python.
Lumpen 2014 - Lenguaje funcional estricto no tipado con call/cc. Lenguaje de implementación: Haskell. Interpretado.
Eightfold 2012 - Lenguaje esotérico con tipos dependientes. Lenguaje de implementación: Haskell. Interpretado.
Cratylus 2012 - Lenguaje esotérico basado en reescritura de polinomios multivariados. Lenguaje de implementación: Python. Interpretado.
Choclo 2007 - Compilador bootstrapping de Lisp. Lenguaje de implementación: Common Lisp / Choclo. Lenguaje objeto: C.
Sorcho Kang 2004 - Lenguaje funcional ridículo. Lenguaje de implementación: C. Interpretado.
Funes ~2004-2007 - Lenguaje tipo Lisp con clausuras léxicas, tail call optimization, macros, call/cc. Lenguaje de implementación: C. Lenguaje objeto: VM ad hoc interpretada.
Xul ~2003 - Lenguaje tipo Python. Lenguaje de implementación: C. Interpretado.