SmartSign is a set of modules which allow integration of smartcard technology into an OpenCA based Public Key Infrastructure in order to provide smartcard-based digital signature and local authentication security services. It allows direct signing of e-mail and e-news from within Netscape using smartcards and supports signing of generic files from command line. The package includes a PAM module too, which allows system administrators to integrate smartcard-based authentication for local users. A modified version of the OpenSSH client allows secure authentication to a remote server. A couple of command line tools allow signing and verifying generic files from the shell. Finally, a command line interactive shell supports all operations on the card, and can be used to write scripts that automate particular tasks on the card. Currently only Schlumberger Cyberflex Access 16K is supported.
Suricate makes the Meerkat open wire service usable on handheld devices, wireless email appliances, and interactive pagers. It is meant to address the needs of people that have email provided on their handheld devices but no Web access. Suricate will push the wire service content to the user. Suricate currently provides Meerkat content for several channels/profiles such as Apache, Linux, Mozilla, MySQL, Perl, PHP, Python, Wireless, and XML.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
QGLViewer allows people programming in OpenGL to play around with three dimensional scenes or to write software that uses OpenGL. It provides a set of classes for camera control, as well as comfortable user interface that allows you to control your viewing parameters via mouse and buttons. A framework for camera paths and their interpolation is provided, as is a simple scene tree. QGLViewer is object oriented and programmed in C++ such that the programmer simply instantiates a viewer and connects it to their own render routines.