jvanbruegge Goto Github PK

hakyll

A static website compiler library in Haskell

haproxy-ingress

HAProxy Ingress controller

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.

home-manager

Manage a user environment using Nix [maintainer=@rycee]

hoodle

hoodle : A pen notetaking program written in haskell

html-looks-like

Assert that an HTML string looks approximately the same as another HTML

idp-futulog

isabelle-lambda-calculus

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

istanbul-instrumenter-loader

Istanbul instrumenter loader for webpack

javaengine

jsonp

Driver for HTTP requests through JSONP

jsverify

Property-based testing for JavaScript. Like QuickCheck.

keepass-rs

KeePass kdbx database file parser

kubernetes-config

My new server setup V2

kubernetes-config-v2

My new kubernetes setup with dhall

lambda-derive

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

libreread

liquidhaskell-amortized-complexity

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

master-thesis

mcs-interface

Project that defines an interface to the MCS for external interfaces (GUI, scripts etc).

media-goggler

A media server written in Haskell and Cycle.js

megarecord

My experiment about implementing Row Polymorphism in current Haskell

minecraftforge

Modifications to the Minecraft base files to assist in compatibility between mods.

minireq

A minimal request library for the browser

model-testing

munichjs-20.09.2017

My talk about Cycle.js and FRP

munichjs-promises

munichjs-signals_vs_streams

My talk about Signals vs Streams

naproche

Write formal proofs in natural language and Latex.