The WiKID Strong Authentication System is a highly scalable, secure two-factor authentication system. It is simple to implement and maintain, allows users to be validated automatically, requires no hardware tokens, has a simple API for application support (via Ruby, PHP, Java, COM, Python, etc.), supports multiple domains, and supports replication for fault tolerance and scalability. It also supports mutual /host and transaction authentication, wireless tokens only domains, locked tokens (to your PC), anti-keystroke logger keypad PIN entry, etc.
TTA-based Co-design Environment (TCE) is a toolset that provides a complete co-design flow from C programs down to synthesizable VHDL and parallel program binaries. Processor customization points include the register files, function units, supported operations, and the interconnection network.
Dragora is a trustworthy GNU/Linux-Libre distribution based on the concept of simplicity with the goal of being a multi-purpose operating system. Dragora respects the freedom of the user with the values of Free Software and provides control to those who use it. It is developed entirely by volunteers and it is published under the terms of the GNU General Public License.
HAproxy is a high-performance and highly-robust TCP and HTTP load balancer which provides cookie-based persistence, content-based switching, SSL off-loading, advanced traffic regulation with surge protection, automatic failover, run-time regex-based header control, Web-based reporting and management interface, advanced logging to help trouble-shooting buggy applications and/or networks, and a few other features. Its own event-driven state machine achieves 100,000 connections per second and surpasses GigaEthernet on modern hardware, even with tens of thousands of simultaneous connections.
aime is a simple, C-like programming language and an interpreter, both designed to be embeddable in applications. The language is straightforward, trivial, and direct. Its syntax is simpler than that of C, while still providing for full object management, higher order functions, and references. The interpreter is secure and expressive, allowing comprehensive control over program execution and providing powerful methods of application integration.