Pascal Wittmann's repositories
hackaru-timeular
Track your time with the Timeular cube and Hackaru
master-thesis
A Language for the Specification and Efficient Implementation of Type Systems
pepper-and-carrot-pdfs
PDFs of the Pepper and Carrot comics, so printing them is easy.
pascal-wittmann.de
Personal website powered by Yesod
api-erp
gematik provides a comprehensive overview of the e-prescription interfaces. This API documentation serves as a supplement to gematik's standard regulatory documents and details the e-prescription profiles based on the FHIR standard.
bye-bye-server
Community Repository for the Bye-Bye-Server Website
citrix-k8s-ingress-controller
Citrix ADC (NetScaler) Ingress Controller for Kubernetes:
codacy-analysis-cli-action
GitHub Action for the codacy-analysis-cli
dmn-check
A tool which performs static analyses on Decision Model Notation (DMN) files to detect bugs
hacker.org
Revival of hacker.org
Javadoc-publisher.yml
Generate Javadoc from your maven project and deploy it with GitHub Page.
jib-container-publish.yml
GitHub Actions for your Java project to build container with jib and publish it to GitHub Packages.
lynis
Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.
manage-my-damn-life-nextjs
Manage My Damn Life (MMDL) is a self-hosted front end for managing your CalDAV tasks and calendars.
nexus-actions-demo
Avoid split staging repos when publishing to Maven Central
nix-shell-action
Run any command you like in a deterministic Nix shell on Linux and macOS.
planify
Task manager with Todoist and Nextcloud support designed for GNU/Linux 🚀
Radicale
A simple CalDAV (calendar) and CardDAV (contact) server.
SC-election-2025
2025 Election for the Steering Committee
shellcheck
ShellCheck, a static analysis tool for shell scripts