Jan van Brügge

minireq. A minimal request library for the browser

commithelper. A tool to create and lint commit messages

server-config. The config of all the servers I manage

nix-config. The NixOS configuration of my laptop

Megarecord. My experiment about implementing Row Polymorphism in current Haskell

dhall-openssl. Generate a type-safe openssl configuration file with dhall

dotfiles. My new dotfiles for SwayWM on Arch Linux

snabbdom-looks-like. Makes it easy to assert if two virtual DOM trees look similar

media-goggler. A media server written in Haskell and Cycle.js

isabelle-lambda-calculus. A formal definition and verification of System F. To be extended to System Fc

AdvancedDispensersMod. My first Mod

adcs_plot. A real time data viz app

articles. My collection of blog articles written for serveral sites, most likely the source for my own blog soon(TM)

binder_datatypes. A new foundational package for Isabelle/HOL that implements binding-aware datatypes

tree-selector. Use CSS selectors to match nodes in a custom object tree

cyclejs-test-helpers. A small collection of useful utilities

dotfiles-old. My personal config

sketch-preview. A browser extension to view sketch files in github

GUI-Technologies-for-web-applications. The source and slides for our Seminar 2018

ghc-proposals. Proposed compiler and language changes for GHC and GHC/Haskell

Play2-Angular2-Template. A starting template for Play Framework 2 and Angular2

munichjs-signals_vs_streams. My talk about Signals vs Streams

advent-of-code-2018. Doing advent-of-code in Haskell

d3-axis-hyperscript. Generate human-readable axis for a given scale

AdvancedDispensersMod2.0. The new Version of my first Mod

Building-a-stream-library-from-scratch. TypeScript

docker-letsencrypt. Shell

kubernetes-config-v2. My new kubernetes setup with dhall

TechMod. Java

zero-to-webserver-haskell. Haskell

kubernetes-config. My new server setup V2

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

pack.hs. A Typescript transpiler and bundler written in Haskell

rust-raytracer-assignment. This will be a raytracer written with Rust and Vulkan

c-fun. A immutuable-first language compiling to C++

BetterCharacterController. A character controller for the Unity engine