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.
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.
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: