benutzerDB 2

Easy to use OpenStreetMap editor for Android

💰 Open source credit system.

The CSS Grid Layout wrapped in React components

https://bahn.expert

Nix Packages collection & NixOS

Deutsche Materialien zu Lojban aus der Augsburger Lerngruppe

Proof and Code Presentation Framework

A web server/client for Quassel

Slides for an introductory talk about Haskell (in German)

Eine Einfuehrung in Lojban auf deutsch

Schaltzentrale des Maschinendecks

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

A small bifunctor library for idris

A Dependently Typed Functional Programming Language

Deprecated Snap version of an online quote database with categories

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

An OpenGL function pointer loader for Rust