smatting Goto Github PK

advent2017

My solutions to the Advent of Code 2017 challenges in Haskell.

agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

aoc2018

🎄 Advent of Code 2018 - my solutions in Haskell 🎄 https://adventofcode.com/

aoc2019

🎄 Advent of Code 2019

arion

Run docker-compose with help from Nix/NixOS

bang

A Drum Machine DSL for Haskell

batmon

Battery notifications for people dumb enough to use xmonad ;-)

blazing-tabs

Blazing Tabs is a browser extension that allows you to search and switch your tabs blazingly fast.

bmm

A cluster algorithm for binary vectors.

cabal

Official upstream development repository for Cabal and cabal-install

cnmat-odot

Multi-paradigm Dynamic Programming

cookiecutters

cv

My résumé

daml

The DAML smart contract language

data-analyst-prep

dotfiles

gadoc

🐟 A package docs generator for Haskell

grsync

Sync photos from Ricoh GR II / GR III via Wifi

handles

Experiment with handle pattern in Haskell

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

hie-bios

Set up a GHC API session for various Haskell Projects

hls-nix

hoo

Convencience script for hoogle

humming-tab

insects

insects-poc

jira-pandoc-filter

learn-agda

low-battery

A tool that notifies when the laptop battery runs low.