Math student at UNAM.
I really like category theory, homotopy type theory and computer proof assistants. I'm also a data science enthusiast.
- Mexico City
- in/nicky-garcia
Highlights
- Pro
Pinned Loading
-
MinervaNunez/Proyecto-Final-BEDU
MinervaNunez/Proyecto-Final-BEDU PublicProyecto Final del Programa de Data Science impartido por BEDU
Jupyter Notebook 2
-
RPyAA_KNN_KMeans_KMedoids
RPyAA_KNN_KMeans_KMedoids PublicCuadernos de Jupyter con implementaciones desde cero (con Pandas y Numpy) de KMeans y KMedoids. Análisis de mnist con KNN.
Jupyter Notebook
-
-
Search-Agents-System
Search-Agents-System PublicSearch Agents System for PROTECO's IA 2017-2 Course
Python
-
IntroAgda
IntroAgda PublicMaterial 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
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.