Reynaldo Cordero's repositories
.emacs.d
My personal configuration for the The One True Editor.
abstractMachine
Kata: abstractMachine (TDD Style) - Graham Hutton's "Programming in Haskell 2nd Ed."
Bowling
Kata Bowling (TDD Style) - From http://www.decharlas.uji.es/es/programacion-funcional-introduccion-haskell - A. Marzal
charlas
Charlas, tutoriales, charlas relámpago
doldrums
A small, purely functional programming language. For learning.
ejercicios-beginning-haskell
Código y ejercicios del libro 'Beginning Haskell' de Alejandro Serrano Mena
haskell-do
:pencil2: :bar_chart: - The Haskell code editor focused on interactive development.
haskell-katas
Simple Exercises in Haskell, using HSpec
haskell-katas-1
haskell-katas
haskell-mooc
Haskell MOOC University of Helsinki
haskell-phrasebook
The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
haskell-zettelkasten
Haskell knowledgebase, Zettelkasten style
HaskellLove21
Repository for my talk, "Competitive Programming in Haskell", at Haskell Love 2021.
learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
little-logician
A tiny proof system for classical propositional logic.
luhn
Kata: luhn (BDD/TDD Style) - "Behavior-driven development (BDD) in Haskell with Hspec" by Juan Carlos Pazmiño
neuron
Haskell meets Zettelkasten, for your plain-text delight.
newh-simple
To start a new Haskell project in few seconds.
newHaskellKata
Bash script to start a new Haskell kata in few seconds reusing an old one.
newHK
To start a new Haskell kata ready to BDD/TDD in few seconds using stack.
programmingkatas
Programming Katas
repo
An application to synchronize local git repositories in several computers using a pendrive.
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Spoon-Knife
This repo is for demonstration purposes only.
zfoh.ch
Our homepage