libsfml-audio2.4

Simple and Fast Multimedia Library - Audio part

goobook

command-line interface to Google contacts

GooBook is a command-line interface to Google contacts which supports: * Searching contacts * Adding new contacts * Mutt integration GooBook is written in Python and is designed for use with MUAs such as Mutt in the same way as abook.

python-sphinxcontrib.httpdomain

Sphinx domain for HTTP APIs - Python 2.x

This contrib extension, sphinxcontrib.httpdomain provides a Sphinx domain for describing RESTful HTTP APIs. It generates RESTful HTTP API reference documentation from a Flask application’s routing table, similar to sphinx.ext.autodoc.

libghc-ogma-language-xmlspec-prof

Ogma: Runtime Monitor translator: XML Frontend; profiling libraries

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.

node-flashproxy

Pluggable transport to circumvent IP address blocking - nodejs proxy

Flashproxy is a tool to circumvent censorship by setting up many, generally ephemeral, browser-based proxies, with the goal of outpacing a censor's ability to enumerate and block the IP addresses of those proxies. Censored clients can then connect to a Tor relay via these proxies, by using a hard-to-block, low-bandwidth registration system called the facilitator.

sword-text-gerlut1545

SWORD module of Martin Luther's 1545 German Bible