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.
This patch integrates SecurID authentication services directly into the OpenSSH daemon, allowing users to use SecurID tokens directly as their passwords instead of relying on the clunky sdshell. It rides on the plain password auth architecture in OpenSSH to avoid requiring ChallengeResponse or email@example.com style auth. It supports full privilege separation.
Mpkg is a ports collection. Each port contains the information necessary to automatically download, compile, and install a specific program, and also information about dependencies between programs. Ports collections are common on various BSD flavors, but mpkg is designed to be portable to any UNIX-like system. Development has been done on DEC OSF/1, GNU/Linux, and Solaris. Mpkg also tries to install all programs in separate directories, never touching the common directories like /usr and /etc.
hp48cc is a C-like compiler that translates input code into the HP48 RPN language. The language recognized by the compiler is only a small subset of the C language with some non-standard extensions. However, this language is powerful enough be used to to write complex programs simply.