Pinned Repositories
aoc2021
https://adventofcode.com/2021
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
Mima
Simple interpreter for Mima Assembler
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.
scrambler
Ruby gem which provides scrambles for several puzzles.
stackmat.js
Access the Stackmat Timer from within JavaScript using the HTML5 Audio API.
tipGame
Web app for betting on the matches of the European Football Championship 2012
tracing
Distributed tracing
timhabermaas's Repositories
timhabermaas/stackmat.js
Access the Stackmat Timer from within JavaScript using the HTML5 Audio API.
timhabermaas/cubemania
Track your Rubik's Cube solves and compare them to other speedcubers.
timhabermaas/emu
Composable decoding library in the spirit of Json.Decode from Elm
timhabermaas/herxheim2018
Registration web app for a juggling convention in Herxheim
timhabermaas/aoc2021
https://adventofcode.com/2021
timhabermaas/freiburg-convention-haskell
Registration web app for the juggling convention in Freiburg
timhabermaas/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.
timhabermaas/tracing
Distributed tracing
timhabermaas/AdventOfCode2017
Haskell solutions for http://adventofcode.com/2017
timhabermaas/affect
Algebraic effects for Ruby
timhabermaas/aoc2020
timhabermaas/aoc2023
timhabermaas/beam
A type-safe, non-TH Haskell SQL library and ORM
timhabermaas/compose-spec
The Compose specification
timhabermaas/digestive-functors
A general way to consume input using applicative functors
timhabermaas/dotfiles
timhabermaas/engelsystem
Shift planning system for chaos events.
timhabermaas/engelsystem-dashboard
timhabermaas/freiburg-convention
timhabermaas/hugo-scroll
Clean, responsive, single-page Hugo website theme.
timhabermaas/justified-containers
Standard containers, with keys that carry type-level proofs of their own presence.
timhabermaas/monad_do
timhabermaas/purescript-format
Type-safe, printf-style formatting for PureScript
timhabermaas/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
timhabermaas/servant-persistent
A brief example of Servant with Persistent
timhabermaas/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.
timhabermaas/sqlx-no-index-use-reproduction
timhabermaas/timhabermaas.github.io
timhabermaas/worldcubeassociation.org
[WCA Project] All of the code that runs on worldcubeassociation.org
timhabermaas/zfoh.ch
Our homepage