Proyectos

A = Autor, CA = Coautor, C = Contribuidor

juvix CA – Lenguaje de functional programming para aplicaciones descentralizadas intent-centric. Lideré la dirección de producto y envié más de 50 PRs de compiler en Haskell.
vscode-juvix A – Extensión de VS Code para Juvix: syntax highlighting, REPL, CodeLens, hover/typecheck. Más de 50 releases.
homebrew-juvix A – Homebrew tap para distribución de Juvix en macOS.
juvix-stdlib CA – Standard library de Juvix y configuración de CI.
juvix-mkdocs A – Plugin de MkDocs para literate programming con Juvix y type checking en build time.
juvix-docs A – Fuente de documentación de docs.juvix.org.
juvix-containers A – Contenedores Docker para CI de Juvix.
vamp-ir C – Automatización de releases para este lenguaje de zero-knowledge circuits (Rust).

engine A – Biblioteca en Elixir que implementa la arquitectura del Anoma engine: OTP supervision tree, GenStage messaging y DSL validado en compile time.
dexes A – HyperCow: prototipo de decentralized exchange basado en SPEEDEX sobre Anoma (Elixir). Más de 60 PRs.
tango A – Biblioteca de estructuras de datos replicadas in-memory en Elixir.
nspec CA – Tooling de especificación de Anoma e infraestructura MkDocs. Más de 100 PRs.
art CA – Índice de Anoma Research Topics: template en LaTeX, edición de papers y sistema de publicación en Zenodo.

athena A – Traduce la salida de pruebas del ATP Metis a código compilable en Agda. Haskell.
online-atps A – CLI para automated theorem provers remotos vía SystemOnTPTP. Haskell.
agda-metis A – Formalización en Agda de los pasos de razonamiento del prover Metis.
agda-prop A – Biblioteca de lógica proposicional clásica en Agda.
agda-pkg A – Package manager para Agda.
agda-unimath C – 8 PRs mergeados mejorando el sitio de documentación.
apia C – Proyecto de proof reconstruction en Haskell.
HoTT-Book C – Correcciones y contribuciones al libro de HoTT.
plfa.github.io C – Programming Language Foundations in Agda.

agda-mode-vscode A – Agda mode para VS Code.
hott-cheatsheets A – Cheatsheets comunitarios para el libro de HoTT. LaTeX.
flask-ponywhoosh A – Extensión de Flask que integra PonyORM con Whoosh para full-text search. Python.
ponywhoosh A – Full-text search con PonyORM vía Whoosh. Python.
python-atxt A – Herramienta para extraer texto de distintos formatos de archivo. Python.
prop-pack A – Colección de problemas TPTP y soluciones TSTP para testing de automated provers.
arsi A – Algoritmo de selección sobre rough sets para datos faltantes. Mathematica.
poirot A – Plataforma de búsqueda y análisis de texto en Mathematica para datos textuales a gran escala. Desarrollado para el Observatorio de Tierras. Código fuente privado.