HHVM (aka the HipHop Virtual Machine) is a virtual machine designed for executing programs written in Hack and PHP. It uses a just-in-time compilation approach to achieve superior performance while maintaining the flexibility that PHP developers are accustomed to. To date, HHVM (and its predecessor HPHPc before it) has realized over a 9x increase in Web request throughput and over a 5x reduction in memory consumption for Facebook compared with the PHP 5.2 engine + APC. HHVM should be used together with a FastCGI-based Web server like Nginx or Apache.
Giada is a minimal, hardcore audio tool for DJs and live performers. Just pick your sample, drop it in any channel, and start the show by using this tiny piece of software as a loop machine, drum machine, sequencer, live sampler, or effect (VST) host. Giada aims to be a compact and portable virtual device for production use and live sets.
The Omega Project is a universe simulator accessible remotely by registered users over the JSON-RPC protocol. This allows the highest number of users and developers to access the universe and control ships / stations / other entities in via many mechanisms. The server listens for requests over a variety of protocols including TCP, HTTP, Websockets, AMQP, and more, and clients written in any language running on any platform may use these transports to communicate with it. Omega also ships with a WebGL frontend based on three.js, providing an interactive view into running simulations.
Hypersocket is a cross-platform VPN solution built for all types of remote access scenarios. Powerful, yet simple to use, Hypersocket uses a single installed client to provide access to any number of network resources. Its powerful granular access means you can have fine-grained control over your entire network and remote users. Accessed through a secure HTTPS port, the Hypersocket client provides access to any number of host/port combinations, all assigned server-side by the Administrator through roles. The Administrator is able to configure the server through a Web portal on the same HTTPS port.
getxbook is a collection of tools to download books from websites. There are tools to download from Google Books' "book preview", Amazon's "look inside the book", and Barnes and Noble's "book viewer". There is an optional GUI written in Tcl/Tk, and some shell scripts using OCR to create plain text or searchable PDFs and DjVu files from the downloaded books.
phpsqlitesite is a minimal PHP/SQLite content Website system. It gives you a searchable multilingual site with automatic navigation and optional social sharing and comment sections. It consists of one PHP source code file and one SQLite database file, with no requirements other than PHP and SQLite.
BitNami LimeSurvey Stack Native Installer is an easy-to-install distribution of the LimeSurvey application. It includes pre-configured, ready-to-run versions of Apache, MySQL, PHP, and phpMyAdmin so users can get a LimeSurvey installation up and running in minutes after answering a few questions. Windows, Linux, Linux 64, Mac OS X, and Unix operating systems are supported. LimeSurvey allows users to quickly create intuitive, powerful, online question-and-answer surveys that can work for tens to thousands of participants without much effort. The survey software itself is self-guiding for the respondents who are participating.
Theorem Linker is a program used to visualize references between theorems in a paper written using LaTeX. Using a .tex document (and a .aux file, created by the LaTeX compiler), Theorem Linker will search through a paper, find theorems, and find references to other theorems within a theorem's "proof". It will then create a digraph in a .dot file (to be opened with programs such as Graphviz or OmniGraffle) that will display each theorem as a node, with directed edges to describe the relations between the theorems. A path highlighted in red describes the longest path in the graph. Theorem Linker will also create folders containing graphs to individually show relations of each theorem in a paper.