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

RPG Pixel Art little Game

Linux server management tool

Interactive game for typing practice

Personal finances manager

Color Map Generator

A polished modernization of the original Master of Orion Strategy game from 1993.

Remove tracking parameters from copied URLs

Management tool for teachers

Cross platform, customizable graphical frontend for launching emulators

Analyze DV streams and report errors

Fully validating Vertcoin peer-to-peer network node, wallet and GUI

Have fun and learn

Kids game, drive a toy wood engine

A simple, beautiful podcast app

An IDE for using Prolog via 2p-kt

2006Scape is a free, Runescape 2006 Emulation server

Git client for power users

Fly a pterodactyl who’s loaded with hi-tech weaponry

Rocs - Teoria dei grafi

Gira i cerchi per abbinare i colori

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

Create labels and business cards

Fast-paced single-player rally racing game

Graphical user interface to scan and audit your source code

A GPU Trace Visualizer

Control your network monitoring

A TinyTask clone for Linux

A graphical tool for configuring STM32 microcontrollers and microprocessors

Pixel art paint program