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

Szybkie przycinanie plików wideo

Space exploration and combat game

Swiss Army Knife for PDF files

Raspberry Pi Imaging utility

Wyświetlaj i używaj innych komputerów

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

Elegancki edytor Markdown

Veloren jest fabularną grą akcji osadzoną w rozległym fantastycznym świecie zbudowanym z wokseli

MPV-Based Jellyfin Client with Offline Sync

Classic arena first person shooter

Merge, shuffle, and crop PDFs

A simple bullet journal

Blink SIP client

Zarządzanie rozszerzeniami GNOME

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