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)
Public GitHub Catalog
Discovered Sep 26, 2026
manugunther / cmantec
C-MANTEC neural network algorithm implementation on Python
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.
#7154800GitHub System ID
manuguntherOrganization / User
PublicVisibility
ActiveCatalog Status
More from manugunther
manugunther/STLCwithAG
Implementación de un inferidor de tipos para el cálculo lambda usando Attribute Grammars en Haskell
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.