Ghidra is a software reverse engineering (SRE) framework

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Secor is a service implementing Kafka log persistence

Global keyboard and mouse listeners for Java.

Jenkins jira plugin

Airflow script for incremental data import from Mysql to Hive using Sqoop.

Fastest word count in Java

A tool collection for handling the Requirements Interchange Format