Nix Packages collection & NixOS

Easy to use OpenStreetMap editor for Android

An OpenGL function pointer loader for Rust

A Dependently Typed Functional Programming Language

https://bahn.expert

💰 Open source credit system.

A web server/client for Quassel

benutzerDB 2

A small bifunctor library for idris

Simple package that implements timers. Both "one-shot" and "repeating" timers are implemented.

Slides for an introductory talk about Haskell (in German)

Proof and Code Presentation Framework

Deutsche Materialien zu Lojban aus der Augsburger Lerngruppe

Sass integration for Snap with request- and pre-compilation.

The CSS Grid Layout wrapped in React components

Schaltzentrale des Maschinendecks

Deprecated Snap version of an online quote database with categories

Eine Einfuehrung in Lojban auf deutsch