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

Identify hashing algorithms

Aliens vs Humans, First Person Shooter game with elements of Real Time Strategy

Maintain a steady tempo

Solve puzzles in style

Messenger for the desktop

Keep an eye on system resources

Analyze D-Bus connections

A computer mystery/romance set five minutes into the future of 1988

View information about your system

A beautiful and fully-featured desktop client for Apache Kafka

Manage your passwords and encryption keys

Design and write manuscripts

Balance working time and break time

Transcribe and translate audio

Play Videos/Music with style

Find places around the world

Manage your servers with ease

An advanced subdivision modeler

Visualize D-Bus activity

YouTube Music app

Track the performance of an investment portfolio

Organize finances and track cash flow

Telemetry-less code editing

Easily compare items when shopping

A digital voice client

Documentation browser

Chat with AI models

Docker Container Management

Open source chess GUI for chess engines