timhabermaas

stackmat.js

Access the Stackmat Timer from within JavaScript using the HTML5 Audio API.

cubemania

Track your Rubik's Cube solves and compare them to other speedcubers.

emu

Composable decoding library in the spirit of Json.Decode from Elm

herxheim2018

Registration web app for a juggling convention in Herxheim

aoc2021

https://adventofcode.com/2021

freiburg-convention-haskell

Registration web app for the juggling convention in Freiburg

ruby_effects

ruby_effects is a Ruby implementation of the freer Haskell package. The general idea is to represent effects as values and use interpreters to translate these effects into actual side-effects.

tracing

Distributed tracing

AdventOfCode2017

Haskell solutions for http://adventofcode.com/2017

affect

Algebraic effects for Ruby

aoc2020

aoc2023

beam

A type-safe, non-TH Haskell SQL library and ORM

compose-spec

The Compose specification

digestive-functors

A general way to consume input using applicative functors

dotfiles

engelsystem

Shift planning system for chaos events.

engelsystem-dashboard

freiburg-convention

hugo-scroll

Clean, responsive, single-page Hugo website theme.

justified-containers

Standard containers, with keys that carry type-level proofs of their own presence.

monad_do

purescript-format

Type-safe, printf-style formatting for PureScript

servant

Main repository for the servant libraries. Web API combinators, with servers, clients and documentation

servant-persistent

A brief example of Servant with Persistent

sqlx

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.

sqlx-no-index-use-reproduction

timhabermaas.github.io

worldcubeassociation.org

[WCA Project] All of the code that runs on worldcubeassociation.org

zfoh.ch

Our homepage