Daniel Díaz Carrete's repositories
checkpointed-pipeline
Run self-contained pipelines of checkpointed computations.
foldl-transduce-attoparsec
Attoparsec and foldl-transduce integration.
causal-commutative-arrows-revisited
Causal commutative arrows revisited: an optimizing arrow library
lambda-kochbuch
Lambda-Kalkül kochten vier Wege
users-mysql-haskell
A mysql-haskell backend for the "users" library.
aprobar
Test management tool with a REST API.
awesome-rnn
Recurrent Neural Network - A curated list of resources dedicated to RNN
calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
checker-framework-example
A trivial example of the Checker Framework
desert.vim
desert colorscheme
glambda
The home of the Glamorous Glambda interpreter
haskell
Haskell ネタ帳
inca-royal-tunic
Reproducing the designs of an Inca royal tunic using Haskell's "diagrams" library.
ink
inkle's open source scripting language for writing interactive narrative.
lista-doblemente-enlazada
Una lista doblemente enlazada en Java.
my-selenium-table-app
Testing ways to extract data from HTML tables using Selenium.
mysql-haskell-sop
Use sum-of-products representations in mysql-haskell queries
wl-pprint-indef
A mirror of wl-pprint fixed for GHC 7.10.2