smatting

blazing-tabs

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

jira-pandoc-filter

pomodoro

A simple Pomodoro timer with Slack integration

gadoc

🐟 A package docs generator for Haskell

low-battery

A tool that notifies when the laptop battery runs low.

nixos-configs

agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

cabal

Official upstream development repository for Cabal and cabal-install

CNMAT-odot

Multi-paradigm Dynamic Programming

cookiecutters

dotfiles

handles

Experiment with handle pattern in Haskell

haskell-language-server

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

hie-bios

Set up a GHC API session for various Haskell Projects

hls-nix

hoo

Convencience script for hoogle

insects

insects-poc

learn-agda

neogit

magit for neovim

ps-all

all my purescript apps

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

servant-swagger

Swagger for Servant

tidal-fun

My tidalcycles setup for Ableton Live on Mac

tracker

time tracker script

unison-tutorial

unisonweb-org

Source for the unisonweb.org website

wire-server

🇪🇺 Wire back-end services

zfoh.ch

Our homepage

zj-58

CUPS filter for thermal printers as Zjiang ZJ-58, XPrinter XP-58, etc