Pinned Repositories
binboh
Building INcrementally Based On Hashes
log4j-http-appender
Automatically exported from code.google.com/p/log4j-http-appender
osuApiConnector
PDFGetter
ppaddict
Tillerinobot
ws2023-python
Slides für den Kurs "Python für Anfänger"
Tillerino's Repositories
Tillerino/Tillerinobot
Tillerino/osuApiConnector
Tillerino/ppaddict
Tillerino/binboh
Building INcrementally Based On Hashes
Tillerino/log4j-http-appender
Automatically exported from code.google.com/p/log4j-http-appender
Tillerino/PDFGetter
Tillerino/ws2023-python
Slides für den Kurs "Python für Anfänger"
Tillerino/checker-framework-test-is-annotation-present
A minimum working case of a checker framework bug
Tillerino/cuvee
Tillerino/docker-ircd
Very simple docker container for an IRC server, not yet production ready
Tillerino/dbeaver
Free universal database tool and SQL client
Tillerino/dhall-kubernetes
Typecheck, template and modularize your Kubernetes definitions with Dhall
Tillerino/Digital
A digital logic designer and circuit simulator.
Tillerino/docker-why3
Docker image for the why3 system with some preinstalled provers
Tillerino/forge
An unofficial rules engine for the world's greatest card game.
Tillerino/GlobalPlatformPro
🌐 🔐 Manage applets and keys on JavaCard-s like a pro (via command line or from your Java project)
Tillerino/java-language-server
Java language server using the Java compiler API
Tillerino/jd-cli
Command line Java Decompiler
Tillerino/jdependency
Provides an API to analyse and modify class dependencies. It provides the core to the maven shade plugin for removing unused classes.
Tillerino/log4j2-elasticsearch
Log4j2 Elasticsearch Appender plugins
Tillerino/nanojson
A tiny, compliant JSON parser and writer for Java
Tillerino/nixpkgs
Nix Packages collection & NixOS
Tillerino/osu-tools
command line tools to get stuff done
Tillerino/pygments-mastersthesis
Pygments style and lexers for my master's thesis
Tillerino/scruse
Databind annotation processor
Tillerino/testcontainers-java
Testcontainers is a Java library that supports JUnit tests, providing lightweight, throwaway instances of common databases, Selenium web browsers, or anything else that can run in a Docker container.
Tillerino/traefik-helm-chart
Traefik v2 helm chart
Tillerino/twirc
TwIRC - Testing with IRC: A basic Java IRC server intended for tests