dnadales

nix-latex-template

Nix configuration for reproducible builds of LaTeX documents

sandbox

Damian Nadales's sandbox

skid

SImple Key-value store, Impefect, but Distributed

cyclone

An exercise on the use of Cloud Haskell (distributed-process) to program nodes continuously exchanging messages

.emacs.d

My Emacs config

argon

Monitor cyclomatic complexity in Haskell programs

blog-source

Source code for my blog

cborg

Binary serialisation in the CBOR format

configs

Configurations I use

contra-tracer

Simple tracing by way of contravariant functors

decentralized-software-updates

A paper about decentralized software updates for blockchain systems

dnadales.github.io

emacs.d

My emacs configuration

github-workflows-playground

A playground to experiment with GitHub workflows

haskell-successors

An applicative functor to manage successors

haskell-templates

My templates for Haskell projects

hierarchy

hydra

Implementation of the Hydra Head protocol

integrated-shrinking

Demo code to go with the blogpost "Integrated versus Manual Shrinking"

lts-haskell

LTS Haskell build plans

mecano

Mono-repo emulation for building a Cardano node

org-mode

ouroboros-consensus

Implementation of a Consensus Layer for the Ouroboros family of protocols

ouroboros-consensus-tools

Tools related to ouroboros consensus

plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

scripts

Linux scripts I use

Spoon-Knife

This repo is for demonstration purposes only.

stackage

"Stable Hackage": vetted consistent packages from Hackage

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

xmonad-setup

My Xmonad setup