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

Control your lighting shows

Decentralized social network

Create digital notes

3D Arcade sTyle shoOter

Simple plotting utility and numerical simulator

Data Analysis Framework

Have fun and learn

Quality Control Tools for Video Preservation

Defeat autocreated huge battleships

Sokoban-like logic game featuring the Grumpy Cat

Medication tracker

A point & click adventure game

Play music from Nextcloud

Utility to download drawings from the Wacom Ink range of devices

Talk to your computer in Python

Intuitive file sharing app for local network

Plan your next photo locations

One for all free music in China

Simple ARMv7 simulator written in Java, intended for educational purpose

Cubing in the fourth dimension

Zatvorite poklopac svojeg prijenosnog računala i potrčite

A roguelike turn-based virtual board game

Small but mighty text editor

Multiplayer Pixel Art Shooter Game

Offline password manager with cross-platform synchronization

Seamlessly integrate media consumption, getting definitions, and adding flashcards for language learning

Pen for pardus

A Tri Peaks solitaire game

Decentralized secure messenger