Welcome to the projects subdirectory

Here you can find old and new projects that I have been, or am currently, working on.

cast-finder

Watchers 0 Stars 0 Forks 0

A tiny tool that finds casts in C programs

slicer

Watchers 0 Stars 0 Forks 0

A simple program slicer for a procedural language

advent-of-code-2019

Watchers 0 Stars 0 Forks 0

My solutions to the advent of code

fgl (fork)

Watchers 0 Stars 0 Forks 0

A Functional Graph Library for Haskell

devdocs (fork)

Watchers 0 Stars 0 Forks 0

API Documentation Browser

influxdb-python (fork)

Watchers 0 Stars 0 Forks 0

Python client for InfluxDB

streaming-benchmarks (fork)

Watchers 0 Stars 0 Forks 0

Benchmarks for Low Latency (Streaming) solutions including Apache Storm, Apache Spark, Apache Flink, ...

nom-sql (fork)

Watchers 0 Stars 0 Forks 0

Rust SQL parser written using nom

noria (fork)

Watchers 0 Stars 0 Forks 0

Dynamically changing, partially-stateful data-flow for web application backends.

cv (fork)

Watchers 0 Stars 0 Forks 0

An online version of my CV

GitHub Pages

melpa (fork)

Watchers 0 Stars 0 Forks 0

Recipes and build machinery for the biggest Emacs package repo

fmt (fork)

Watchers 0 Stars 0 Forks 0

New formatting library

universum (fork)

Watchers 0 Stars 0 Forks 0

:milky_way: Prelude written in @Serokell

plfa.github.io (fork)

Watchers 0 Stars 0 Forks 0

Introduction to programming language theory in Agda.

stm-summary-paper

Watchers 0 Stars 0 Forks 0

thedatasleuth.github.io (fork)

Watchers 0 Stars 0 Forks 0

:raised_hands: Free and open-source Jekyll theme

run-rust

Watchers 0 Stars 0 Forks 0

Run rust source files directly

cheatsheets (fork)

Watchers 0 Stars 0 Forks 0

My cheatsheets

lvars-latency-bench

Watchers 1 Stars 1 Forks 0

free-monad-evolution

Watchers 2 Stars 2 Forks 0

Summary on the history and evolution of the free monad

lvars (fork)

Watchers 0 Stars 0 Forks 0

The LVish Haskell library

yauhau-doc (fork)

Watchers 0 Stars 0 Forks 0

Documentation for Ÿauhau

microlens (fork)

Watchers 0 Stars 0 Forks 0

A lightweight (but compatible with ‘lens’) lenses library

freer-simple (fork)

Watchers 0 Stars 0 Forks 0

An implementation of “Freer Monads, More Extensible Effects”.

ample-theme (fork)

Watchers 0 Stars 0 Forks 0

A theme for Emacs providing dark, light, and flat versions.

haskell-ats (fork)

Watchers 0 Stars 0 Forks 0

Template project for mixing Haskell and ATS

a-tour-of-go-in-haskell (fork)

Watchers 0 Stars 0 Forks 0

Write "Concurrency" section of "A Tour of Go" in Haskell

wav-transform

Watchers 0 Stars 0 Forks 1

idris-new

Watchers 0 Stars 0 Forks 0

Interactive intializer for idris packages

idris-posix (fork)

Watchers 0 Stars 0 Forks 0

System POSIX bindings for Idris.

vscode-docs (fork)

Watchers 1 Stars 1 Forks 0

Public documentation for Visual Studio Code

language-clojure (fork)

Watchers 0 Stars 0 Forks 0

Clojure package for Atom

mitbewohnervereinbarung (fork)

Watchers 0 Stars 0 Forks 0

:house:

eta-hackage (fork)

Watchers 0 Stars 0 Forks 0

A set of patches to make Hackage compatible with the Eta language.

eta (fork)

Watchers 0 Stars 0 Forks 0

The Eta Programming Language, a dialect of Haskell on the JVM

IHaskell (fork)

Watchers 0 Stars 0 Forks 0

A Haskell kernel for IPython.

simple-text-format

Watchers 1 Stars 1 Forks 0

os-paper-reading-group

Watchers 0 Stars 0 Forks 0

haddock (fork)

Watchers 0 Stars 0 Forks 0

Haskell Documentation Tool

stack (fork)

Watchers 0 Stars 0 Forks 0

The Haskell Tool Stack

stackage (fork)

Watchers 0 Stars 0 Forks 0

"Stable Hackage": vetted consistent packages from Hackage

marvin-interpolate

Watchers 2 Stars 2 Forks 1

Compile time String interpolation

missingh (fork)

Watchers 0 Stars 0 Forks 0

Utility library [Haskell]

hakyll (fork)

Watchers 0 Stars 0 Forks 0

A static website compiler library in Haskell

marvin-docs

Watchers 2 Stars 2 Forks 1

ReadTheDocs documentation for marvin

bt

Watchers 0 Stars 0 Forks 0

My bachelor thesis

matthias (fork)

Watchers 0 Stars 0 Forks 0

🤖 Mr. Stuhlbein, completely automated

lesson-builder (fork)

Watchers 0 Stars 0 Forks 0

Build markdown and tex with meta information

Local project page

marvin

Watchers 48 Stars 48 Forks 7

The paranoid bot (framework)

snaplet-scoped-session

Watchers 2 Stars 2 Forks 0

Typed and scoped sessions Snaplet

spellcheck

Watchers 1 Stars 1 Forks 0

A simple command line spellchecker

git-hooks

Watchers 0 Stars 0 Forks 0

Useful git hooks with explanations what they do

dockerfiles

Watchers 0 Stars 0 Forks 0

bitbucket-github-migrate

Watchers 1 Stars 1 Forks 0

Migrate from Bitbucket to GitHub

haxl-test-generated-graph

Watchers 1 Stars 1 Forks 0

rust-simple-server

Watchers 1 Stars 1 Forks 0

A simple web server in rust

elm-monad

Watchers 6 Stars 6 Forks 0

Useful Monads in Elm

betablogger

Watchers 5 Stars 5 Forks 0

Configurable app that does things with static files

GitHub Pages

monadic-printer

Watchers 1 Stars 1 Forks 0

Print and write text with do-notation

servestatic

Watchers 1 Stars 1 Forks 0

Snaplet which serves webpages with rendered documents, such as markdown

ohua-blog

Watchers 0 Stars 0 Forks 0

Reimplementing the Haxl blog example with ohua

haxl-local-test

Watchers 1 Stars 1 Forks 0

A small project testing the capabilities of the Haxl library

textblocks

Watchers 0 Stars 0 Forks 0

Implementation of TextBlocks for the SWP

vscode-asciidoc

Watchers 3 Stars 3 Forks 1

Asciidoc language support for Visual Studio Code editor (with Asciidoctor flavor).

language-asciidoc

Watchers 9 Stars 9 Forks 4

AsciiDoc support for visual studio code

language-haskell

Watchers 56 Stars 56 Forks 28

Highlighting support for the Haskell language in visual studio code.

exit-codes

Watchers 2 Stars 2 Forks 0

UNIX Exit codes for Haskell

online-orders

Watchers 0 Stars 0 Forks 0

Online order tracker

sonority

Watchers 3 Stars 3 Forks 0

A native music player built with electron, react and clojure

haskell-unicode-snippets

Watchers 2 Stars 2 Forks 1

Atom plugin which provides snippets for Haskell unicode operators

mactools

Watchers 1 Stars 1 Forks 0

List of (mostly free and OS) software I use on my mac as well as where and how to get it.

docbuilder

Watchers 1 Stars 1 Forks 0

Building markdown and asciidoc notes

mustache

Watchers 62 Stars 62 Forks 15

Haskell implementation of mustache templates

oed

Watchers 0 Stars 0 Forks 0

The oxford english dictionary from the command line.

ja-base-extra

Watchers 1 Stars 1 Forks 0

Extra Haskell functions I need in base.

dictcc

Watchers 1 Stars 1 Forks 0

Access dict.cc from the command line.

markdown-graph-ext

Watchers 3 Stars 3 Forks 0

A markdown language extension for graphs

bash-slack-bot

Watchers 4 Stars 4 Forks 0

Quote collector webhook endpoint

vocab-trainer

Watchers 1 Stars 1 Forks 0

A simple vocabulary storage and query program with sqlite

package-bug

Watchers 0 Stars 0 Forks 0

Reproduction of a bug in the elm runtime.

elm-path

Watchers 1 Stars 1 Forks 3

Filepath manipulation library for elm

elm-reactor-index

Watchers 3 Stars 3 Forks 1

A new Index page for the elm-reactor

add-to-path

Watchers 1 Stars 1 Forks 0

A Haskell library for manipulating PATH

hpingserver

Watchers 1 Stars 1 Forks 0

Ping a url repeatedly until it answers.

hlinecount

Watchers 1 Stars 1 Forks 0

Count non-empty code lines

schedule-planner-web

Watchers 1 Stars 1 Forks 0

Website and UI for the schedule-planner tool

GitHub Pages

hrename

Watchers 1 Stars 1 Forks 0

bulk rename files

du-dresden (fork)

Watchers 0 Stars 0 Forks 0

automatic translation for the homepage, twitter and facebook of the TU Dresden

elm-init

Watchers 11 Stars 11 Forks 0

Initialise scaffolding for a new Elm project

htimer

Watchers 2 Stars 2 Forks 0

A "pretty printing" console timer

justusadam.github.io

Watchers 1 Stars 1 Forks 5

Sources for my website

GitHub Pages

vote-helper

Watchers 0 Stars 0 Forks 0

schedule-planner

Watchers 6 Stars 6 Forks 0

Calculate an ideal schedule layout from a set of timeslots

Local project page GitHub Pages

example-files

Watchers 0 Stars 0 Forks 1

Examples for some common config files

dynamic_content_documentation

Watchers 0 Stars 0 Forks 0

Documentation for the dynamic_content framework

promotion-hunter

Watchers 0 Stars 0 Forks 0

python-typesafety

Watchers 1 Stars 1 Forks 0

A decorator for python functions that does type checking.

dynamic_content

Watchers 4 Stars 4 Forks 1

An easy, modular content management system

GitHub Pages

RenovationProjectInScala

Watchers 0 Stars 0 Forks 0

misc

Watchers 1 Stars 1 Forks 0

Code snippets for various purposes

blackjack

Watchers 0 Stars 0 Forks 0

A little blackjack game written in C

emiuebung

Watchers 1 Stars 1 Forks 0

Emi ist toll!

tictac

Watchers 0 Stars 0 Forks 0

A simple TicTacToe Game

dresden-stadtinfo

Watchers 0 Stars 0 Forks 2

DresdenStadtInfo