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

Mind Mapping, Knowledge Management, Project Management. Develop, organize and communicate your ideas and knowledge in the most effective way

A simple GOG client for Linux

Lightweight audio player

Telemetry-less code editing

A party game starring FLOSS mascots

Trim videos quickly

Space exploration and combat game

Swiss Army Knife for PDF files

View and use other desktops

The Slicer for Every Maker

Graphical interface for displaying OATH codes with a YubiKey

Grading/marking client for the Plom online grading system

Educational activities and games for school students and educators

Edit Markdown in style

Veloren is an action RPG set in a vast fantasy world made of voxels

Cast-only client for Jellyfin Media Server

Classic arena first person shooter

Merge, shuffle, and crop PDFs

A simple bullet journal

Blink SIP client

Manage your GNOME Extensions

VergeCurrency, A secure and user-friendly digital currency.

Provides control of LEDs and MFD for Logitech X52 and X52 Pro H.O.T.A.S.

Linux client for Pockethernet network tester

Mindustry: A sandbox tower-defense game

Losslessly trim audio and video

Procedural texture generation and mesh painting tool

Download, manage and change your wallpapers automatically from the Internet

nomacs is a free, open source image viewer