naldoco Goto Github PK

.emacs.d

My personal configuration for the The One True Editor.

abstractmachine

Kata: abstractMachine (TDD Style) - Graham Hutton's "Programming in Haskell 2nd Ed."

bash-scripts

binstrtransm

Kata: binStrTransm (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.

dr-hakyll

ejercicios-beginning-haskell

Código y ejercicios del libro 'Beginning Haskell' de Alejandro Serrano Mena

fizzbuzz

Kata FizzBuzz, by A. Marzal. (TDD Style) http://www.decharlas.uji.es/es/programacion-funcional-introduccion-haskell

foobar

Experiments and other stuff.

haskell

Haskell code

haskell-do

:pencil2: :bar_chart: - The Haskell code editor focused on interactive development.

haskell-gargantext

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.

haskellnautas

helloworld

Demo repository for demonstrating Eclipse EGit.

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

mswl-dt-python-naldoco

Python Exercises

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.