Weißenfels Benjamin's repositories
Anki-Android
AnkiDroid: Anki on Android
ANNIS
main ANNIS repository
copy-as-yet-another-markup-language-link
Copying links for several markup languages much easier.
cwa-verification-server
Backend implementation of the verification process
docker-desktop
Docker Desktop enables you to create virtual desktops that can be accessed remotely. It comes with Firefox and Libreoffice already installed!
verinice
verinice is a tool for managing information security.
docker-gitlab
Dockerized gitlab web server
docker-postgresql
Dockerfile to build a PostgreSQL container image which can be linked to other containers.
dot-files
Collection of my Dot Files
dup_backup
Backup script based on duplicity
go-heap-performance
Go Heap Performance
hakyll
A static website compiler library in Haskell
Haskell-University
Portfolio-based approach to learning Haskell
haskell-university-solutions
Portfolio of Haskell University Solutions
metadata-service
A service for managing metadata about microservices in a GitOps style.
pixeldrama-hakyll-template
hakyll template based on simple blog template: https://github.com/jaspervdj/hakyll-examples/tree/master/simpleblog
proxy-switcher
A Gnome Shell Extension to switch the proxy mode.
resume
Source files for my resume. Uses org-mode and a custom style file
shell-extension
Shell extension for hamster