TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools

Twine is an open-source tool for telling interactive, nonlinear stories

Offline password manager, using strong AES-256 encryption

Dashboard for Plausible Analytics

Simple application that joins multiple PDF files together

The MongoDB GUI

The break time reminder app

Merge, shuffle, and crop PDFs

Draw and organize ideas

Deckr Desktop App