manugunther/hal-gui
hal-gui es la interfaz grafica para hal.
Public GitHub Catalog
Discovered Sep 30, 2026
manugunther / STLCinAgda
Inferencia de tipos para el Cálculo Lambda simplemente tipado asegurando su corrección por construcción.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#19083769GitHub System ID
manuguntherOrganization / User
PublicVisibility
ActiveCatalog Status
More from manugunther
manugunther/CorrectCompilerInAgda
Implementación de un compilador correcto para un pequeño lenguaje, basado en el artículo de McKinna y Wright: A type-correct, stack-safe, provably correct, expression compiler (2006)
manugunther/STLCwithAG
Implementación de un inferidor de tipos para el cálculo lambda usando Attribute Grammars en Haskell
manugunther/hchatbot
Implementación de un chatbot en Haskell.