manugunther/STLCwithAG
Implementación de un inferidor de tipos para el cálculo lambda usando Attribute Grammars en Haskell
Public GitHub Catalog
Discovered Oct 7, 2026
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)
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.
#35574141GitHub System ID
manuguntherOrganization / User
PublicVisibility
ActiveCatalog Status
More from manugunther
manugunther/STLCinAgda
Inferencia de tipos para el Cálculo Lambda simplemente tipado asegurando su corrección por construcción.
manugunther/hchatbot
Implementación de un chatbot en Haskell.
manugunther/cmantec
C-MANTEC neural network algorithm implementation on Python