Popular repositories Loading

1. agda-universal-algebra agda-universal-algebra Public

   Formalization of Universal Algebra in Agda

   Agda 3 2

2. sat sat Public

   Haskell 1

3. cmantec cmantec Public

   C-MANTEC neural network algorithm implementation on Python

   Python

4. hchatbot hchatbot Public

   Implementación de un chatbot en Haskell.

   Haskell

5. STLCinAgda STLCinAgda Public

   Inferencia de tipos para el Cálculo Lambda simplemente tipado asegurando su corrección por construcción.

   Agda

6. STLCwithAG STLCwithAG Public

   Implementación de un inferidor de tipos para el cálculo lambda usando Attribute Grammars en Haskell

   TeX