kotoromo Goto Github PK

followers: 12.0 following: 10.0 repos: 31.0 gists: 1.0

Name: Nicky García

Type: User

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

Location: Mexico City

Nicky García's Projects

aima-python

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

categoricalsemanticstypetheory

comp_sci_stuff

Collection of implementations of diverse computer science stuff, such as algorithms, mathematic definitions, etcetera.

fortran-basico

Recursos para el curso Intersemestral Fortran90/95 Básico 2017-1 de PROTECO.

fortran-intermedio

Ejemplos y recursos de estudio para el curso de Fortran Intermedio PROTECO 2016-2

gnu_c

Programas ejemplo sobre la programación en C enfocado a las librerias GNU.

gruposkleinianos-tarea1

Repositorio para la Tarea #1 del Seminario de Geometría B: Grupos Kleinianos del semestre 2023-2 impartido en la Facultad de Ciencias, UNAM.

gruposkleinianos-tarea2

Repositorio para la Tarea #2 del Seminario de Geometría B: Grupos Kleinianos del semestre 2023-2 impartido en la Facultad de Ciencias, UNAM. El código en luxorutils es de autoría del profesor.

gruposkleinianos-tarea3

Repositorio para la Tarea #2 del Seminario de Geometría B: Grupos Kleinianos del semestre 2023-2 impartido en la Facultad de Ciencias, UNAM. El código en src es de autoría del profesor.

Repositorio para la Tarea #2 del Seminario de Geometría B: Grupos Kleinianos del semestre 2023-2 impartido en la Facultad de Ciencias, UNAM. El código en src es de autoría del profesor a excepción de la function ´drawdiscsarrayorbitDFSrecursive´ y el código en `Inversiones.jl`.

introagda

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.