A simple calendar with events, customizable widgets and no ads.

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Amazon's light-weight library for chaos engineering on AWS. It can be used for EC2 and ECS (with EC2 launch type).

Android client for https://github.com/cyanomiko/dcnnt-py

A randomized program fuzzer for the Rust programming language