Discover @jvanbruegge Open Source projects

Jan van Brügge (@jvanbruegge)

jvanbruegge

Stars
253
Global Rank 102,269 (Top 4 %)
Followers 146
Following 11
Registered over 12 years ago
Most used languages

TypeScript
25.0 %

Shell
19.4 %

Haskell
16.7 %

Java
8.3 %

C++
5.6 %

Isabelle 5.6 %

Dhall 5.6 %

JavaScript
2.8 %

C#
2.8 %

Rust
2.8 %

Nix
2.8 %

TeX
2.8 %
Location 🇬🇧 United Kingdom
Country Total Rank 4,842
Country Ranking

Dhall 1

Isabelle 4

Nix
39

Haskell
131

TypeScript
464

Shell
660

TeX
1,300

Java
1,766

Rust
2,104

C++
5,315

C#
6,586

minireq

A minimal request library for the browser

commithelper

A tool to create and lint commit messages

Megarecord

My experiment about implementing Row Polymorphism in current Haskell

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

dotfiles

My new dotfiles for SwayWM on Arch Linux

nix-config

The NixOS configuration of my laptop

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

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)

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

tree-selector

Use CSS selectors to match nodes in a custom object tree

Play2-Angular2-Template

A starting template for Play Framework 2 and Angular2

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

d3-axis-hyperscript

Generate human-readable axis for a given scale

advent-of-code-2018

Doing advent-of-code in Haskell

munichjs-signals_vs_streams

My talk about Signals vs Streams

kubernetes-config-v2

My new kubernetes setup with dhall

kubernetes-config

My new server setup V2

docker-letsencrypt

TechMod

zero-to-webserver-haskell

Building-a-stream-library-from-scratch

AdvancedDispensersMod2.0

The new Version of my first Mod

pack.hs

A Typescript transpiler and bundler written in Haskell

BetterCharacterController

A character controller for the Unity engine

munichjs-promises

rust-raytracer-assignment

This will be a raytracer written with Rust and Vulkan

lambda-derive

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

AnnoModdingTool

A tool to read Anno 2070 Model files, hopefully more later

c-fun

A immutuable-first language compiling to C++

liquidhaskell-amortized-complexity

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