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