A vim plugin for taking notes in markdown and storing them in a confluence wiki.

libxosd-xft, osd-show-key and osd-show-file for X11

A rust console and terminal abstraction

Range, pattern and substitute preview for Vim

Sparkling Water provides H2O functionality inside Spark cluster

Generate realistic looking fake data

A short guide on features of Python 3 with examples

Chipdisk Nacional Vol.1

Relational algebra

Let GHC prove program equations for you

Algebraic graphs

Simple and short implementation of a Snake game. Any pull requests which make it shorter or cleaner would be greatly appreciated : ).

A simulation based business data generator

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Succinct Data Structure Library 2.0

Resumes generated using the GitHub informations

jOOQ is the best way to write SQL in Java

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

A cd command that learns - easily navigate directories from the command line

A fast, high quality library for computing with statistics in Haskell.

Informative git prompt for zsh

Advanced Topics of Functional Programming

Dokumentation für IMPRO 3 (Applied Textmining)

Course tracking for aim3 lecture at DIMA/ TU Berlin

Myriad Parallel Data Generator Toolkit

A vim cheat sheet wallpaper.