Welcome to the projects subdirectory
Here you can find old and new projects that I have been, or am currently, working on.
A tiny tool that finds casts in C programs
A simple program slicer for a procedural language
My solutions to the advent of code
A Functional Graph Library for Haskell
API Documentation Browser
Python client for InfluxDB
Benchmarks for Low Latency (Streaming) solutions including Apache Storm, Apache Spark, Apache Flink, ...
Rust SQL parser written using nom
Dynamically changing, partially-stateful data-flow for web application backends.
Recipes and build machinery for the biggest Emacs package repo
New formatting library
Introduction to programming language theory in Agda.
Free and open-source Jekyll theme
Run rust source files directly
Summary on the history and evolution of the free monad
The LVish Haskell library
Documentation for Ÿauhau
A lightweight (but compatible with ‘lens’) lenses library
An implementation of “Freer Monads, More Extensible Effects”.
A theme for Emacs providing dark, light, and flat versions.
Template project for mixing Haskell and ATS
Write "Concurrency" section of "A Tour of Go" in Haskell
Interactive intializer for idris packages
System POSIX bindings for Idris.
Public documentation for Visual Studio Code
Clojure package for Atom
A set of patches to make Hackage compatible with the Eta language.
The Eta Programming Language, a dialect of Haskell on the JVM
A Haskell kernel for IPython.
Haskell Documentation Tool
The Haskell Tool Stack
"Stable Hackage": vetted consistent packages from Hackage
Compile time String interpolation
Utility library [Haskell]
A static website compiler library in Haskell
ReadTheDocs documentation for marvin
My bachelor thesis
🤖 Mr. Stuhlbein, completely automated
The paranoid bot (framework)
Typed and scoped sessions Snaplet
A simple command line spellchecker
Useful git hooks with explanations what they do
Migrate from Bitbucket to GitHub
A simple web server in rust
Useful Monads in Elm
Print and write text with do-notation
Snaplet which serves webpages with rendered documents, such as markdown
Reimplementing the Haxl blog example with ohua
A small project testing the capabilities of the Haxl library
Implementation of TextBlocks for the SWP
Asciidoc language support for Visual Studio Code editor (with Asciidoctor flavor).
AsciiDoc support for visual studio code
Highlighting support for the Haskell language in visual studio code.
UNIX Exit codes for Haskell
Online order tracker
A native music player built with electron, react and clojure
Atom plugin which provides snippets for Haskell unicode operators
List of (mostly free and OS) software I use on my mac as well as where and how to get it.
Building markdown and asciidoc notes
Haskell implementation of mustache templates
The oxford english dictionary from the command line.
Extra Haskell functions I need in base.
Access dict.cc from the command line.
A markdown language extension for graphs
Quote collector webhook endpoint
A simple vocabulary storage and query program with sqlite
Reproduction of a bug in the elm runtime.
Filepath manipulation library for elm
A new Index page for the elm-reactor
A Haskell library for manipulating PATH
Ping a url repeatedly until it answers.
Count non-empty code lines
bulk rename files
automatic translation for the homepage, twitter and facebook of the TU Dresden
Initialise scaffolding for a new Elm project
A "pretty printing" console timer
Calculate an ideal schedule layout from a set of timeslots
Examples for some common config files
Documentation for the dynamic_content framework
A decorator for python functions that does type checking.
Code snippets for various purposes
A little blackjack game written in C
Emi ist toll!
A simple TicTacToe Game