manugunther/STLCwithAG
Implementación de un inferidor de tipos para el cálculo lambda usando Attribute Grammars en Haskell
Implementación de un chatbot en Haskell.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Implementación de un inferidor de tipos para el cálculo lambda usando Attribute Grammars en Haskell
Inferencia de tipos para el Cálculo Lambda simplemente tipado asegurando su corrección por construcción.
C-MANTEC neural network algorithm implementation on Python
Public repository.