GuixSD

0 A.D. is a real-time strategy (RTS) game of ancient warfare. It's a historically-based war/economy game that allows players to relive or rewrite the history of twelve ancient civilizations, each depicted at their peak of economic growth and military prowess.

0ad needs a window manager that supports 'Extended Window Manager Hints'.

0ad-data provides the data files required by the game 0ad.

The Open Free Fiasco Firmware Flasher (0xFFFF) is a flashing tool for FIASCO images. It supports generating, unpacking, editing and flashing of FIASCO images for Maemo devices. Use it with care. It can brick your device.

4store is a RDF/SPARQL store written in C, supporting either single machines or networked clusters.

4ti2 implements algorithms for solving algebraic, geometric and combinatorial problems on linear spaces. Among others, it solves systems of linear equations, computes extreme rays of polyhedral cones, solves integer programming problems and computes Markov bases for statistics.