Jan van Brügge's repositories
commithelper
A tool to create and lint commit messages
dhall-openssl
Generate a type-safe openssl configuration file with dhall
server-config
The config of all the servers I manage
snabbdom-looks-like
Makes it easy to assert if two virtual DOM trees look similar
nix-config
The NixOS configuration of my laptop
binder_datatypes
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
kubernetes-config-v2
My new kubernetes setup with dhall
liquidhaskell-amortized-complexity
My paper about using LiquidHaskell to prove amortized complexity of data structures
adventofcode
The future home of all advent of codes from me
ansi-pretty
AnsiPretty type-class for ansi-wl-pprint
audiobookshelf
Self-hosted audiobook and podcast server
audiobookshelf-web
Website for audiobookshelf
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
home-manager
Manage a user environment using Nix [maintainer=@rycee]
null-ls.nvim
Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families