Here you can find old and new projects that I have been, or am currently, working on.
Watchers
0
Stars
0
Forks
0
Kani Rust Verifier
Watchers
0
Stars
0
Forks
0
MySQL/MariaDB protocol shim for Noria
Watchers
0
Stars
0
Forks
0
Watchers
0
Stars
0
Forks
0
Watchers
0
Stars
0
Forks
0
C Intermediate Language
Watchers
2
Stars
2
Forks
0
Advent of Code 2020
Watchers
0
Stars
0
Forks
0
A versioning file store backed by git, darcs, or mercurial
Watchers
0
Stars
0
Forks
0
Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
Watchers
0
Stars
0
Forks
0
KLEE Symbolic Execution Engine
Watchers
0
Stars
0
Forks
0
Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
Watchers
0
Stars
0
Forks
0
A wiki using HAppS, pandoc, and git
Watchers
1
Stars
1
Forks
0
I am tinkering with GitHub actions to build haskell programs and automatically upload runnable binaries
Watchers
2
Stars
2
Forks
1
Playing around with recursion schemes in OCaml
Watchers
0
Stars
0
Forks
0
Resources and Documentation for running BarCamp Canterbury
Watchers
1
Stars
1
Forks
0
Java parser and printer for haskell
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
1
Stars
1
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
1
Stars
1
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
55
Stars
55
Forks
6
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
8
Stars
8
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
90
Stars
90
Forks
43
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
87
Stars
87
Forks
29
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
2
Stars
2
Forks
0
Access dict.cc from the command line.
Watchers
4
Stars
4
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
12
Stars
12
Forks
0
Initialise scaffolding for a new Elm project
Watchers
2
Stars
2
Forks
0
A "pretty printing" console timer
Watchers
2
Stars
2
Forks
8
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
