Pinned Repositories
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.
cv
My résumé
jira-pandoc-filter
low-battery
A tool that notifies when the laptop battery runs low.
nixos-configs
pointer-cc
pointer-cc - control your software instruments with 4 midi kobs
pomodoro
A simple Pomodoro timer with Slack integration
waves
A small Elm app to draw waves with Bezier lines
wire-server
🇪🇺 Wire back-end services
smatting's Repositories
smatting/pointer-cc
pointer-cc - control your software instruments with 4 midi kobs
smatting/blazing-tabs
Blazing Tabs is a browser extension that allows you to search and switch your tabs blazingly fast.
smatting/jira-pandoc-filter
smatting/pomodoro
A simple Pomodoro timer with Slack integration
smatting/gadoc
🐟 A package docs generator for Haskell
smatting/low-battery
A tool that notifies when the laptop battery runs low.
smatting/nixos-configs
smatting/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
smatting/cabal
Official upstream development repository for Cabal and cabal-install
smatting/CNMAT-odot
Multi-paradigm Dynamic Programming
smatting/cookiecutters
smatting/dotfiles
smatting/handles
Experiment with handle pattern in Haskell
smatting/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
smatting/hie-bios
Set up a GHC API session for various Haskell Projects
smatting/hls-nix
smatting/hoo
Convencience script for hoogle
smatting/insects
smatting/insects-poc
smatting/learn-agda
smatting/neogit
magit for neovim
smatting/ps-all
all my purescript apps
smatting/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
smatting/servant-swagger
Swagger for Servant
smatting/tidal-fun
My tidalcycles setup for Ableton Live on Mac
smatting/tracker
time tracker script
smatting/unison-tutorial
smatting/unisonweb-org
Source for the unisonweb.org website
smatting/wire-server
🇪🇺 Wire back-end services
smatting/zj-58
CUPS filter for thermal printers as Zjiang ZJ-58, XPrinter XP-58, etc