git-lfs server designed to be self-hosted and store binary files in a compressed form suitable for cloud storage platforms

A delta debugger for SMT benchmarks in SMT-LIB v2.

The opensmt solver

All your services in one place, built by the community

simple multi-agent pathfinding (MAPF) visualizer for research usage

An offline visualization tool for analysing solutions to multi-robot coordination problems.

🍓 Strawberry Music Player

OpenOrienteering Mapper is a software for creating maps for the orienteering sport.

The user manual for OpenOrienteering Mapper

Quick Event - Orienteering Software

A attempt to write down the protocol of the eQ3 / ELV MAX! Cube

🍊 Clementine Music Player

Cross-platform music production software