Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
The OpenCA Project is a collaborative effort to develop a robust, full-featured and Open Source out-of-the-box Certification Authority implementing the most used protocols with full-strength cryptography world-wide. OpenCA is based on many Open-Source Projects. Among the supported software is OpenLDAP, OpenSSL, Apache Project, Apache mod_ssl.
Sfront compiles MPEG 4 Structured Audio (MP4-SA) programs into efficient C programs that generate audio when executed. MP4-SA is a standard for normative algorithmic sound, which combines an audio signal processing language (SAOL) with score languages (MIDI and SASL). Under Mac OS X and Linux, sfront supports real-time, low-latency audio input/output and MIDI input. Under Mac OS X, sfront supports the creation of AudioUnit plug-ins. The documentation includes a book about SAOL programming.
F-Script is a lightweight scripting layer specifically designed for the Mac OS X object system (i.e. Cocoa). It provides scripting and interactive access to Cocoa frameworks and custom Objective-C objects. It aims to be a useful and fun tool for both beginners and experts, allowing interactively exploring, testing, and using Cocoa-based objects and frameworks.
Onyx is a powerful stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript and Forth. It can be embedded as an extension language into other applications, and was designed to have a small memory footprint. It is among the smallest embeddable interpreters available.
nefu (network fidelity utility) is a Unix daemon that monitors services over the network. It uses a "no false alarms" fault verification algorithm, and understands network dependancies. Natively-monitored protocols include ICMP echo (ping), SSH, IPP, DNS, HTTP, POP, NTP, IMAP, SMTP, and LDAP, as well as having facilities to execute external programs. Status pages are available via finger or the Web.
radmind is a suite of Unix command-line tools and a server designed to remotely administer the file systems of multiple Unix machines. At its core, radmind operates as a tripwire. It is able to detect changes to any managed filesystem object, e.g. files, directories, links, etc. However, radmind goes further than just integrity checking: once a change is detected, radmind can optionally reverse the change. Each managed machine may have its own loadset composed of multiple, layered overloads. This allows, for example, the operating system to be described separately from applications. Loadsets are stored on a remote server. By updating a loadset on the server, changes can be pushed to managed machines.
iHook is a graphical frontend for any command-line executable. It gives scripts a pleasant Aqua face, and allows script writers to provide graphical feedback without having to learn one of the higher APIs available for Mac OS X. iHook accomplishes this through its ability to understand a set of directives. When a script writes an iHook Directive to stdout, iHook will modify its own interface based on the content of the Directive. In this way, a simple shell script can have an Aqua interface, complete with a progress bar and drawer. When launched in the Finder, iHook prompts the user to choose a script to run; iHook also accepts file drops on its icon, and will attempt to run the dropped file. When no user is logged in, iHook tries to execute /etc/logout.hook. This makes iHook highly useful as an interface for Mac OS X LogoutHooks.
Fugu SSH is a Mac OS X graphical frontend to OpenSSH's Secure File Transfer application (SFTP). SFTP is similar to FTP, but, unlike FTP, the entire session is encrypted, meaning no passwords are sent in cleartext form, and it is thus much less vulnerable to third-party interception. Fugu allows you to take advantage of SFTP's security without having to sacrifice the ease of use found in a GUI. Fugu also includes support for SCP files transfers, and the ability to create secure tunnels through SSH.