A Lights Out-style puzzle game

Dynamic geometry + automated proofs

Roll dice of many different shapes and sizes in all possible combinations.

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

Always be ready for work

A simple audio loop machine for GNOME

Mopidy music client

A fast paced match-4 puzzler

Shoot the ball into the red box

Trading platform

Rates and usage for UK smart electricity tariffs

Self-hosted media server for Linux

Close your laptop lid and start running

Perform arithmetic or scientific calculations

SelfPrivacy app allows you to set up self-hosted services and manage them

Synchronized data acquisition from diverse sources and flexible experiment control

Tasks & process management

Track your outdoor activities

Table Top Turn Tracker

A pixel art 2d platformer game.

Easy, functional, and snappy GTK front-end (client) for Music Player Daemon

Una guida TV Kirigami convergente

Medication tracker

QT based graphical frontend for ccrypt tool

Godot version manager

Regular expression editor and tester.

Edit Drag[en]gine game projects.

Decrypt DLC files

Badge Magic App

Simple ARMv7 simulator written in Java, intended for educational purpose