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