7-day current streak·26-day longest streak
Hello! Currently, I'm dedicating my efforts as a maintainer for the Strimzi project. Reach out via Exploring formal verification methods and system validation. Blog: see-quick.github.io 🎯 Daily Kafka Quiz: Test…
Hello!
- Currently, I'm dedicating my efforts as a maintainer for the Strimzi project.
- Reach out via 
- Exploring formal verification methods and system validation.
- Blog: see-quick.github.io
- 🎯 Daily Kafka Quiz: Test your Apache Kafka knowledge each day!
Latest Blog Posts
| Date | Title | Link |
|------------|-----------------------------------------------------------------------|----------------------------------------------------------------
| 2026-05-28 | 39 Mutation Testing: Why Your Tests Are Lying to You | Read more |
| 2026-05-21 | 38 Computability Theory Part 6: Reductions, Proving Hardness and Solving Problems | Read more |
| 2026-05-15 | 37 Computability Theory Part 5: From Computability to Complexity | Read more |
| 2026-02-13 | 36 Computability Theory Part 4: Turing Machines and the Hardest Problems | Read more |
| 2026-02-07 | 35 Computability Theory Part 3: Context-Sensitive Languages | Read more |
| 2026-02-06 | 34 Computability Theory Part 2: Context-Free Languages | Read more |
| 2026-02-04 | 33 Computability Theory Part 1: The Chomsky Hierarchy and Regular Languages | Read more |
| 2026-01-15 | 32 💧 Strimzi Test Container: Simplifying Kafka & Connect Testing | Read more |
| 2025-11-23 | 31 🔐 Breaking RSA with Quantum Computing: Shor's Algorithm Explained | Read more |
| 2025-11-17 | 30 🔮 Quantum Programming on Your Laptop: Introduction | Read more |
| 2025-11-15 | 29 🔌 Model Context Protocol (MCP): From Concept to Code | Read more |
| 2025-11-11 | 28 🎯 Kafka Internals #5: KRaft - The Controller Architecture | Read more |
| 2025-11-06 | 27 ⚖️ Messaging Systems Comparison | Read more |
| 2025-11-01 | 26 📜 The History of Messaging Systems: From Telegraph to Event Streaming | Read more |
| 2025-10-28 | 25 🔧 Kafka Practical: Testing with Strimzi Test Containers | Read more |
| 2025-10-23 | 24 🔧 Kafka Practical: Consumer Groups | Read more |
| 2025-10-19 | 23 🤝 Kafka Internals #4: Consumer Groups & Coordination Protocol | Read more |
| 2025-10-16 | 22 🧪 Kafka Practical: Performance Testing & Runtime Verification Through Logs | Read more |
| 2025-10-13 | 21 🔄 Kafka Internals #3: Replication Protocol & In-Sync Replicas Management | Read more |
| 2025-10-10 | 20 💾 Kafka Internals #2: Storage Layer & Log Segments | Read more |
| 2025-10-07 | 19 📨 Kafka Internals #1: Broker Request Processing Flow | Read more |
| 2025-10-05 | 18 📨 Apache Kafka: WHAT, WHY, and HOW | Read more |
| 2025-10-01 | 17 ☕ JDK 25: Practical New Features You'll Actually Use | Read more |
| 2025-04-14 | 16 🧪 Model-Based Testing: From Spec to Tests with Quint | Read more |
| 2025-04-01 | 15 ⏳ Liveness in Formal Verification: Something Good Eventually Happens | Read more |
| 2025-03-29 | 14 🔍 Safety in Formal Verification: Nothing Bad Ever Happens | Read more |
| 2025-03-22 | 13 🐞 Formal Verification 101: What, Why, and How | Read more |
| 2025-03-01 | 12 🚀 Supercharge Your Dev Setup with Neovim, Starship, and WezTerm | Read more |
- 💻 Actively contributing to various interesting open-source projects, always looking for new challenges and collaborations.

NOTE: Top Languages does not indicate my skill level or anything like that, it's a GitHub metric of which languages have the most code on GitHub. It's a new feature of github-readme-stats.
-
strimzi-kafka-operator ★ PINNED ⑂
Apache Kafka running on Kubernetes and OpenShift
Java ★ 1 11d agoExplain → -
test-description-generator-ai ★ PINNED
This repository offers a tool to auto-generate detailed annotations for Java test methods. It enhances test readability and maintainability by adding comprehensive documentation directly into the code, ideal for ensuring consistency in large Java projects.
Java ★ 3 2y agoExplain → -
verification ★ PINNED
Just a bunch off stuff related to formal verification of Strimzi, Kafka and compilers related..
TLA ★ 1 20h agoExplain → -
dotfiles ★ PINNED
Dot files
Lua ★ 1 29d agoExplain → -
strimzi-mcp-server ★ PINNED
Manage and troubleshoot Strimzi Kafka on Kubernetes using AI. MCP server with support for topics, users, KafkaConnect, MirrorMaker2, and Cruise Control rebalancing.
Java ★ 4 5mo agoExplain → -
kind-script ★ PINNED
Kubernetes script for deploying kind locally without any problems
Shell ★ 1 2mo agoExplain → -
see-quick.github.io
No description.
CSS ★ 1 2d agoExplain → -
see-quick
No description.
★ 1 1mo agoExplain → -
StrimKKhaos
No description.
Shell ★ 1 2y agoExplain → -
test-container ⑂
Strimzi Test container for unit and integration tests
Java ★ 1 19d agoExplain → -
AdventOfCode
No description.
Java ★ 1 5mo agoExplain → -
DIP
Diploma Thesis
TeX ★ 1 4y agoExplain → -
postgres-operator-examples ⑂
Examples for deploying applications with PGO, the Postgres Operator from Crunchy Data
★ 1 4y agoExplain → -
code-cov-example-repo
No description.
Java ★ 1 4y agoExplain → -
programming
No description.
Java ★ 1 4y agoExplain → -
c--paralellism
No description.
★ 1 4y agoExplain → -
java-paralellism
This repository aims to show examples about Futures, CompletableFutures, Promises etc.
Java ★ 1 4y agoExplain → -
kubernetes-client ⑂
Java client for Kubernetes & OpenShift
★ 1 4y agoExplain → -
python-parallelism
No description.
Python ★ 1 4y agoExplain → -
drain-cleaner ⑂
Utility to help with draining nodes running Strimzi Kafka or Zookeeper pods
★ 1 3y agoExplain → -
synthesis ⑂
No description.
C++ ★ 1 4y agoExplain → -
husseinferas ⑂
No description.
★ 1 4y agoExplain → -
junit5 ⑂
✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM
★ 1 4y agoExplain → -
kafka-testing ⑂
A container image for starting up Apache Kafka and ZooKeeper for testing
★ 1 5y agoExplain → -
ethereum-dapps
No description.
JavaScript ★ 1 5y agoExplain → -
github-readme-stats ⑂
:zap: Dynamically generated stats for your github readmes
★ 1 5y agoExplain → -
ISA
No description.
C++ ★ 1 5y agoExplain → -
github-stats
No description.
Python ★ 1 5y agoExplain → -
IJA
No description.
Java ★ 1 5y agoExplain → -
-IFJ-
No description.
C ★ 1 5y agoExplain → -
test-container-images ⑂
Container images for Strimzi test Container
Shell ★ 1 18d agoExplain → -
apicurio-registry ⑂
An API/Schema registry - stores APIs and Schemas.
Java ★ 1 6y agoExplain → -
gitdm ⑂
📜Fork for tracking CNCF projects
★ 0 16d agoExplain → -
pitest-site ⑂
code for pitest site
★ 0 1mo agoExplain → -
quint ⑂
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript ★ 0 4mo agoExplain → -
netdev-cni
No description.
Go ★ 0 1mo agoExplain → -
test-connectors ⑂
No description.
★ 0 1mo agoExplain → -
llama-stack ⑂
Composable building blocks to build Llama Apps
★ 0 1y agoExplain → -
.github ⑂
Community health files for the Strimzi project
★ 0 3mo agoExplain → -
strimzi-mqtt-bridge ⑂
An MQTT bridge for Apache Kafka®
★ 0 19d agoExplain → -
kafka-site ⑂
Mirror of Apache Kafka site
★ 0 5mo agoExplain → -
kafka ⑂
Mirror of Apache Kafka
Java ★ 0 1d agoExplain → -
strimzi-learning
Strimzi learning
★ 0 5mo agoExplain → -
commons-net ⑂
Apache Commons Net
★ 0 4mo agoExplain → -
mcp-example
No description.
★ 0 7mo agoExplain → -
debezium-connector-informix ⑂
An incubating Debezium CDC connector for IBM Informix database; Please log issues in our tracker at https://issues.redhat.com/projects/DBZ/.
★ 0 9mo agoExplain → -
debezium-connector-spanner ⑂
An incubating Debezium CDC connector for Google Spanner
★ 0 9mo agoExplain → -
debezium-connector-db2 ⑂
An incubating Debezium connector for Db2
★ 0 9mo agoExplain → -
debezium ⑂
Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.
★ 0 4mo agoExplain → -
rh-summer
No description.
Java ★ 0 11mo agoExplain → -
robot-in-terminal
No description.
Python ★ 0 11mo agoExplain → -
kafka-kubernetes-config-provider ⑂
Kubernetes Configuration Provider for Apache Kafka®
★ 0 1y agoExplain → -
testsuite ⑂
No description.
★ 0 1y agoExplain → -
ai-stuff
No description.
Java ★ 0 1y agoExplain → -
test-clients ⑂
Clients used in Strimzi system tests
★ 0 19d agoExplain → -
metrics-reporter ⑂
Prometheus Metrics Reporter for Apache Kafka server and client components
★ 0 19d agoExplain → -
kafka-access-operator ⑂
Operator for sharing access to Strimzi clusters across namespaces
★ 0 1y agoExplain → -
pitest ⑂
State of the art mutation testing system for the JVM
★ 0 1mo agoExplain → -
playground ⑂
OpenFeature SDK demos and experimentation
★ 0 1y agoExplain → -
proposals ⑂
Strimzi proposals
★ 0 2mo agoExplain → -
tlaplus ⑂
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
★ 0 2y agoExplain → -
kubernetes ⑂
Production-Grade Container Scheduling and Management
★ 0 2y agoExplain → -
packit.dev ⑂
packit.dev website content
★ 0 2y agoExplain → -
chaos-mesh ⑂
A Chaos Engineering Platform for Kubernetes.
★ 0 2y agoExplain → -
simple-project
No description.
Dockerfile ★ 0 2y agoExplain → -
ansible-fundametals
No description.
Jinja ★ 0 2y agoExplain → -
strimzi-kafka-bridge ⑂
Apache Kafka bridge
Java ★ 0 19d agoExplain → -
release ⑂
Release tooling for OpenShift
★ 0 2y agoExplain → -
openshift-example-ci
No description.
★ 0 3y agoExplain → -
msz-historie-otazek ⑂
VUT FIT MITAI MSZ - Historie pokládání otázek
★ 0 4y agoExplain → -
IMS
No description.
C++ ★ 0 7y agoExplain → -
SAV
SpotBugs - examples + experiments
Java ★ 0 5y agoExplain → -
IFJ2018
IFJ - prekladac(2018-2019)
C ★ 0 7y agoExplain → -
FIT-MBI-Projects ⑂
My BUT FIT school projects repository. Bioinformatics and biocomputing.
★ 0 8y agoExplain → -
PMS ⑂
Pipeline Merge Sort written with C++ and OpenMPI
★ 0 9y agoExplain → -
vut-flp-project2 ⑂
Functional and Logic Programming - Logic Project - Turing Machine
★ 0 6y agoExplain → -
PRL ⑂
No description.
★ 0 14y agoExplain → -
software-and-algorithms ⑂
Neat algorithm implementations in Java.
★ 0 5y agoExplain → -
TINZbierkaPrikladov ⑂
Študentská zbierka príkladov pre predmet Teoretická informatika
★ 0 6y agoExplain → -
strimzi.github.io ⑂
Strimzi web site project
★ 0 5mo agoExplain → -
client-examples ⑂
Apache Kafka client example for use with Strimzi
★ 0 5y agoExplain → -
strimzi-test-container ⑂
Strimzi test container used for testing Kafka based services
★ 0 6y agoExplain → -
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.
★ 0 6y agoExplain → -
jboss-webserver-3-image ⑂
Red Hat JBoss Web Server 3 container image
★ 0 6y agoExplain → -
amqstreams-1-openshift-image ⑂
AMQ Streams OpenShift Images
★ 0 6y agoExplain → -
fit-isz ⑂
Vypracované otázky ke státní závěrečné zkoušce na FIT VUT v Brně v roce 2013
★ 0 13y agoExplain → -
strimzi-kafka-oauth ⑂
OAuth2 support for Apache Kafka to work with many OAuth2 authorization servers
★ 0 1y agoExplain → -
github-actions-badge ⑂
A GitHub Actions README badge
★ 0 6y agoExplain → -
Java-WebSocket ⑂
A barebones WebSocket client and server implementation written in 100% Java.
★ 0 6y agoExplain → -
branch-cleanup-action ⑂
A GitHub action to automatically delete the branch after a pull request has been merged.
★ 0 6y agoExplain → -
jaeger-operator ⑂
Jaeger Operator for Kubernetes
★ 0 6y agoExplain →
No repos match these filters.