Mike Duigou's starred repositories
ColoradoRLA
Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
HdrHistogram
A High Dynamic Range (HDR) Histogram
amazon-corretto-crypto-provider
The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
openjdk-jfx
The openjfx repo has moved to:
Chronicle-Logger
A sub microsecond java logger, supporting standard logging APIs such as Slf & Log4J
ohmyzsh
🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
source-code-pro
Monospaced font family for user interface and coding environments
threaddump-analyzer
A JVM threaddump analyzer
netbeans-macos-bundle
NetBeans installation script for macOS
java-champions
A list of Java Champions
kaitai_struct
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
flatten-maven-plugin
Flatten Maven Plugin
PreferencesFX
A framework for easily creating a UI for application settings / preferences.
ianisqatsibot
A bot for getting alt text from one Twitter account's photos and then Tweeting the Tweetable texts as standalone Tweets on another account.
eclipse-collections
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
checker-framework
Pluggable type-checking for Java
robo4j-tools
Tools and plug-ins
token-bucket
Token bucket algorithm for rate-limiting