Pinned Repositories
gips
Graph-Based ILP Problem Specification Tool
emoflon-ibex-eclipse-build
CI and build scripts for eMoflon::IBeX Eclipse installations.
coredns-dyndns
Some configurations to enable dynamic DNS updates (DynDNSv2) as well as the Let's Encrypt TXT challenge for CoreDNS.
docker_offlineimap
Offlineimap dockerfile.
docker_ros2dashing
Unofficial ROS2 dashing dockerfile.
docker_texlive
Unofficial Docker image for various TeX Live versions.
github2gitea-mirror
Mirror GitHub single repos/users/orgas/starred repos to a Gitea or Forgejo instance.
How-to-Eclipse-with-Github
A tutorial on how to use Eclipse with Github.
matrix-synapse-saml-mapper
Custom SAML mapping provider for Synapse installations with some extensions like database logging.
maxkratz's Repositories
maxkratz/github2gitea-mirror
Mirror GitHub single repos/users/orgas/starred repos to a Gitea or Forgejo instance.
maxkratz/How-to-Eclipse-with-Github
A tutorial on how to use Eclipse with Github.
maxkratz/coredns-dyndns
Some configurations to enable dynamic DNS updates (DynDNSv2) as well as the Let's Encrypt TXT challenge for CoreDNS.
maxkratz/docker_offlineimap
Offlineimap dockerfile.
maxkratz/docker_ros2dashing
Unofficial ROS2 dashing dockerfile.
maxkratz/matrix-synapse-saml-mapper
Custom SAML mapping provider for Synapse installations with some extensions like database logging.
maxkratz/docker_texlive
Unofficial Docker image for various TeX Live versions.
maxkratz/docker_imapgrab
Imapgrab dockerfile.
maxkratz/docker_postfix
Postfix SMTP backup relay server as Docker image
maxkratz/element-web
A glossy Matrix collaboration client for the web.
maxkratz/maven-tycho-eclipse-example
Example on how to use Maven & Tycho to build an Eclipse plug-in, feature, and update site.
maxkratz/docker-maven
Official Docker image with Maven
maxkratz/docker_boost
Unofficial Docker image for the boost C++ library
maxkratz/docker_pandoc-builder
Unofficial Docker image for Pandoc, LaTeX, and the Eisvogel template.
maxkratz/docker_python-custom
Docker image for python with some goodies installed
maxkratz/eclipse-simrel-github
Global configurations for the eclipse-simrel GitHub organization.
maxkratz/edgedb-vm
Vagrant configuration to provision an EdgeDB virtual machine (VM).
maxkratz/github-actions-latex-example
A minimal example on how to build a LaTeX document (PDF) via GitHub Actions and Docker.
maxkratz/ieeetran_doi
Some modifications to include DOIs (Digital Object Identifiers) into the IEEE tran BibTeX style.
maxkratz/iflye
Incremental Fast Lightweight (y) virtual network Embedding framework
maxkratz/ldap-overleaf-sl
Free LDAP and OAuth2 Authentication and Authorisation for Sharelatex / Overleaf (Community Edition)
maxkratz/lectureStudio
An integrated tool for presenting lectures.
maxkratz/logic-ng.github.io
Source Code of the LogicNG Website
maxkratz/maven-code-gen-example
Example on how to use Maven to compile and trigger a custom code generator in one run.
maxkratz/maven-ecore-modeling-example
Example on how to use Maven to generate and build code for an Ecore/Genmodel file.
maxkratz/moodle-sync-app
Moodle platform file synchronization from a desktop app.
maxkratz/opentf-manifesto
The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source license.
maxkratz/postfix_exporter
A Prometheus exporter for Postfix.
maxkratz/sliding-sync
Proxy implementation of MSC3575's sync protocol.
maxkratz/suri
Your own link shortener that's easily deployed as a static site (for free)