android-libnativebridge

Android native bridge library

This library is only used by Android SDK currently.

libcoq-libhyps

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

librnd3-hid-gtk2-gl

GUI: gtk2, opengl

Hardware accelerated (opengl) rendering on gtk2.

php-horde-vfs

Virtual file system library

A library that provides a Virtual File System API, with backends for SQL, FTP, Local filesystems, Hybrid SQL and filesystem, Samba, SSH2/SFTP, MongoDB. Reading, writing and listing of files are all supported.
arcade-style soccer game

etw

arcade-style soccer game

Eat The Whistle is an arcade soccer game similar to famous Amiga titles such as Kick Off or Sensible Soccer. It features several game modes where you can play either as the whole team or as a single player, and you can also manage teams that take part in cups and leagues. There is even an arcade mode with powerups and bonuses, like in the game SpeedBall 2.

kanboard-cli

kanboard command line client

Kanboard (https://kanboard.net/) is project management software that focuses on the Kanban methodology. It has the following features: