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

Open source RGB lighting control that doesn't depend on manufacturer software

A stylish to-do list with built-in productivity timer

Calculator for adding hours and minutes

An open-source port of the DOS shoot-em-up Tyrian.

A downloader for videos from Coub

Control your Nothing earbuds' settings

Control mouse and keyboard from a smartphone

Fast paced, arcade-style, top-scrolling space shooter

Video subtitle editor that supports basic and advanced editing operations

Browse illustrations and manga

Spaceship bridge simulator

A Etesync note-taking application for linux.

Remove tracking parameters from copied URLs

Opera GX: THE gaming browser

Configure Gamescope and more

Convert S3, SFTP, WebDAV or Rclone back-end into your encrypted storage

Discover new communities

Alternative desktop chat client for Slack (and Discord)

A pixel art 2d platformer game.

2006Scape is a free, Runescape 2006 Emulation server

A non-destructive, and GPU-accelerated RAW image editor built with performance in mind

Spaceship bridge simulator game

TuxMath is an arcade game that helps kids practice their math facts

A cloud-based HD conferencing product leveraging Tencent's 20+ years of experience in audiovisual communications

Survival horror set on a remote island known as Fort Oasis

Study the Quran through Word by Word Analysis, Colored Tajweed, Tafsir & Audio

A kart racing mod based on the 3D Sonic the Hedgehog fangame Sonic Robo Blast 2

Allows to measure internet speed

Launcher for an old-school MMORPG