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

libmercator-0.3-3v5-dbg

WorldForge terrain library - debugging symbols

libsquish0

DXT texture compression library

libsquish is a lossy software DXT texture compression library. It implements the 3 useful DXT flavours (1,3,5) and has SIMD support for x86 (SSE) and powerpc (Altivec). It can be used (as a much slower software fallback) instead of the hardware implementations present on most modern graphics chips.