Discover jvanbruegge/articles Open Source project

A tool to create and lint commit messages

commithelper

My experiment about implementing Row Polymorphism in current Haskell

Megarecord

Generate a type-safe openssl configuration file with dhall

dhall-openssl

Dhall

server-config

The config of all the servers I manage

Nix

snabbdom-looks-like

Makes it easy to assert if two virtual DOM trees look similar

My new dotfiles for SwayWM on Arch Linux

dotfiles

The NixOS configuration of my laptop

nix-config

A media server written in Haskell and Cycle.js

media-goggler

A formal definition and verification of System F. To be extended to System Fc

isabelle-lambda-calculus

Isabelle

AdvancedDispensersMod

My first Mod

Java

adcs_plot

A real time data viz app

A small collection of useful utilities

cyclejs-test-helpers

dotfiles-old

My personal config

A browser extension to view sketch files in github

sketch-preview

Use CSS selectors to match nodes in a custom object tree

tree-selector

A starting template for Play Framework 2 and Angular2

Play2-Angular2-Template

JavaScript

GUI-Technologies-for-web-applications

The source and slides for our Seminar 2018

binder_datatypes

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

Isabelle

d3-axis-hyperscript

Generate human-readable axis for a given scale

Doing advent-of-code in Haskell

advent-of-code-2018

My talk about Signals vs Streams

munichjs-signals_vs_streams

My new kubernetes setup with dhall

kubernetes-config-v2

Dhall

kubernetes-config

My new server setup V2

docker-letsencrypt

TechMod

Java

zero-to-webserver-haskell

Building-a-stream-library-from-scratch

The new Version of my first Mod

AdvancedDispensersMod2.0

Java

pack.hs

A Typescript transpiler and bundler written in Haskell

A character controller for the Unity engine

BetterCharacterController

munichjs-promises

This will be a raytracer written with Rust and Vulkan

rust-raytracer-assignment

Rust

lambda-derive

A telegram bot that runs on AWS lambda that can calculate the derivative of an expression