Yago Cervantes's repositories
calssifier
This is a euclidean and stadistic classifiers for the "Reconocimiento de Formas" subject at UPM Spain
beginner-haskell-challenges
This is supposed to be a set of simple challenges for those who are beginning with haskell.
.emacs.d
Emacs done with org-babel-tangle
000
category-theory-programmers
Notes on category theory in the context of (functional) programming
MIT000
Curso2016-2017
Repositorio de la asignatura Web Semántica y Linked Data para el curso 2016-2017
Language:HTML000
fuuid
Functional UUID's for Scala
Language:ScalaMIT000
haskell-telegram-api
Telegram Bot API for Haskell
Language:HaskellBSD-3-Clause000
Language:TeX000
mailForwarderBot
A mail forwarder bot for telegram
000
nonemptymap
NonEmpty Map Libary
Language:HaskellBSD-3-Clause000
py-cipher
The eSTREAM py cipher source code
Language:C000
semaphores
Semaphore primitive implementation for Ciao Prolog
Language:Prolog000
stainless
Verification framework and tool for higher-order Scala programs
Language:HTMLApache-2.0000
Language:Scala000
zshTheme
My theme for the ZSH shell
000