Nicky García kotoromo

Math student at UNAM.I really like category theory, homotopy type theory and computer proof assistants. I'm also a data science enthusiast.

Achievements

MinervaNunez/Proyecto-Final-BEDUMinervaNunez/Proyecto-Final-BEDUPublic
Proyecto Final del Programa de Data Science impartido por BEDU
Jupyter Notebook 2
RPyAA_KNN_KMeans_KMedoidsRPyAA_KNN_KMeans_KMedoidsPublic
Cuadernos de Jupyter con implementaciones desde cero (con Pandas y Numpy) de KMeans y KMedoids. Análisis de mnist con KNN.
Jupyter Notebook
Proyecto-R-BEDUProyecto-R-BEDUPublic
R 4
Search-Agents-SystemSearch-Agents-SystemPublic
Search Agents System for PROTECO's IA 2017-2 Course
Python
IntroAgdaIntroAgdaPublic
Material para una exposición dada el Miércoles 2 de Marzo del 2023 sobre una introducción a Agda como asistente de pruebas y a la Teoría Homotópica de Tipos.
HTML
expo-haskell-logica3expo-haskell-logica3Public
Jupyter Notebook