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

Los puzzels op in stijl

Messenger for the desktop

Monitor uw systeembronnen en -processen

Analyseer D-Bus-verbindingen

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

Uw encryptiesleutels en wachtwoorden beheren

Design and write manuscripts

Houd uw werktijd en pauzetijd in balans

Transcribe and translate audio

Speel videos of muziek af met stijl

Vind plaatsen over de hele wereld

Manage your servers with ease

An advanced subdivision modeler

Visualiseer D-Bus-activiteit

Muziektoepassing van YouTube

Track the performance of an investment portfolio

Financiën organiseren en cashflow bijhouden

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