Pinned Repositories
2016-2-lab2
acallesalda.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
AI-20182_FMNIST
FMNIST and MNIST databases trained with some classic machine learning algorithms
AIMA-4thed-solutions
My notes and answers for exercises on Artificial Intelligence: A Modern Approach (4th Edition).
aws.s3
Amazon Simple Storage Service (S3) API Client
datos-funcionales
Códigos para el proyecto del curso de datos funcionales.
fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
functional-homogeinity
An DD-plot based homogeinity test for functional data, using bootstrap-t to test hypothesis. MSc. Thesis code.
German-Traffic-Signs-Detector
Kiwi Campus Deep Learning Challange
setform
Set Theory Formalization in Agda
acallesalda's Repositories
acallesalda/setform
Set Theory Formalization in Agda
acallesalda/2016-2-lab2
acallesalda/acallesalda.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
acallesalda/AI-20182_FMNIST
FMNIST and MNIST databases trained with some classic machine learning algorithms
acallesalda/AIMA-4thed-solutions
My notes and answers for exercises on Artificial Intelligence: A Modern Approach (4th Edition).
acallesalda/aws.s3
Amazon Simple Storage Service (S3) API Client
acallesalda/datos-funcionales
Códigos para el proyecto del curso de datos funcionales.
acallesalda/fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
acallesalda/functional-homogeinity
An DD-plot based homogeinity test for functional data, using bootstrap-t to test hypothesis. MSc. Thesis code.
acallesalda/German-Traffic-Signs-Detector
Kiwi Campus Deep Learning Challange
acallesalda/test-repo
acallesalda/test2