jvanbruegge

minireq

A minimal request library for the browser

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

action-gh-release

📦 :octocat: GitHub Action for creating GitHub Releases

liquidhaskell-amortized-complexity

My paper about using LiquidHaskell to prove amortized complexity of data structures

blog

The static site generator for my personal blog

ansi-pretty

AnsiPretty type-class for ansi-wl-pprint

audiobookshelf

Self-hosted audiobook and podcast server

audiobookshelf-web

Website for audiobookshelf

authentik

The authentication glue you need.

calculator

haskell-language-server

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

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

idp-futulog

immich

High performance self-hosted photo and video management solution.

master-thesis

model-testing

naproche

Write formal proofs in natural language and Latex.

nix-update

Swiss-knife for updating nix packages.

nixpkgs

Nix Packages collection

npm-lockfile-fix

Add missing integrity and resolved fields to a package-lock.json file

null-ls.nvim

Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.

ott

The Ott tool for writing definitions of programming languages and calculi

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

quic

IETF QUIC library in Haskell

swagger2

Swagger 2.0 data model.