Varios lenguajes de programación.

MLTT 2025 - Chequeador de teoría de tipos de Martin-Löf desarrollada con fines pedagógicos. Lenguaje de implementación: Haskell.

Trucha 2025 - Implementación inconclusa de un subconjunto minimalista de Agda. Lenguaje de implementación: Haskell.

FOL 2024 - Mini-asistente de demostración para deducción natural de lógica de primer orden clásica inspirado en la sintaxis de Mizar. Lenguaje de implementación: Haskell.

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.