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