Welcome to the projects subdirectory

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

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 0 Stars 0 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 0 Stars 0 Forks 0

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 37 Stars 37 Forks 5

The paranoid bot (framework)

snaplet-scoped-session

Watchers 1 Stars 1 Forks 0

Typed and scoped sessions Snaplet

spellcheck

Watchers 0 Stars 0 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 0 Stars 0 Forks 0

Migrate from Bitbucket to GitHub

haxl-test-generated-graph

Watchers 0 Stars 0 Forks 0

rust-simple-server

Watchers 1 Stars 1 Forks 0

A simple web server in rust

elm-monad

Watchers 4 Stars 4 Forks 0

Useful Monads in Elm

betablogger

Watchers 4 Stars 4 Forks 0

Configurable app that does things with static files

GitHub Pages

monadic-printer

Watchers 0 Stars 0 Forks 0

Print and write text with do-notation

servestatic

Watchers 0 Stars 0 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 0 Stars 0 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 0

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

language-asciidoc

Watchers 8 Stars 8 Forks 3

AsciiDoc support for visual studio code

language-haskell

Watchers 30 Stars 30 Forks 14

Highlighting support for the Haskell language in visual studio code.

exit-codes

Watchers 1 Stars 1 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 0 Stars 0 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 0 Stars 0 Forks 0

Building markdown and asciidoc notes

mustache

Watchers 39 Stars 39 Forks 14

Haskell implementation of mustache templates

oed

Watchers 0 Stars 0 Forks 0

The oxford english dictionary from the command line.

ja-base-extra

Watchers 0 Stars 0 Forks 0

Extra Haskell functions I need in base.

dictcc

Watchers 0 Stars 0 Forks 0

Access dict.cc from the command line.

markdown-graph-ext

Watchers 2 Stars 2 Forks 0

A markdown language extension for graphs

bash-slack-bot

Watchers 3 Stars 3 Forks 0

Quote collector webhook endpoint

vocab-trainer

Watchers 0 Stars 0 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 2

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 0 Stars 0 Forks 0

A Haskell library for manipulating PATH

hpingserver

Watchers 1 Stars 1 Forks 0

Ping a url repeatedly until it answers.

hlinecount

Watchers 0 Stars 0 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 0 Stars 0 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 9 Stars 9 Forks 0

Initialise scaffolding for a new Elm project

htimer

Watchers 1 Stars 1 Forks 0

A "pretty printing" console timer

justusadam.github.io

Watchers 0 Stars 0 Forks 3

Sources for my website

GitHub Pages

vote-helper

Watchers 0 Stars 0 Forks 0

schedule-planner

Watchers 4 Stars 4 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 0 Stars 0 Forks 0

Code snippets for various purposes

blackjack

Watchers 0 Stars 0 Forks 0

A little blackjack game written in C

emiuebung

Watchers 0 Stars 0 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