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).
TAO (The ACE ORB) is an advanced, CORBA-compliant, real-time Object Request Broker (ORB). It is designed to meet the stringent Quality of Service (QoS) requirements of real-time applications, resulting in superior end-to-end predictability, efficiency, and scalable performance. It implements the latest CORBA specifications from the OMG. It is built with components from the ADAPTIVE Communication Environment (ACE) C++ framework, resulting in a highly extensible architecture, adaptability to a wide variety of situations, and portability across a broad range of platforms. Although TAO was designed to meet the demanding requirements of real-time applications, it is also well-suited for general-purpose CORBA applications.
The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the functional programming language Haskell. GHC compiles Haskell to either native code or C. It implements numerous experimental language extensions to Haskell for example concurrency, a foreign language interface, several type-system extensions, exceptions, and so on. GHC comes with a generational garbage collector, a space and time profiler, and a comprehensive set of libraries.
Botan is a crypto library written in C++. It provides a variety of cryptographic algorithms, including common ones such as AES, MD5, SHA, HMAC, RSA, Diffie-Hellman, DSA, and ECDSA, as well as many others that are more obscure or specialized. It also offers SSL/TLS (client and server), X.509v3 certificates and CRLs, and PKCS #10 certificate requests. A message processing system that uses a filter/pipeline metaphor allows for many common cryptographic tasks to be completed with just a few lines of code. Assembly and SIMD optimizations for common CPUs offers speedups for critical algorithms like AES and SHA-1.
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.
XCA is an interface for managing RSA and DSA keys, certificates, certificate signing requests, revocation lists and templates. It uses the OpenSSL and Qt4 libraries. Certificates and requests can be created and signed and many x509v3 extensions can be added. XCA supports multiple root and intermediate Certificate authorities. The CAs can be used to create CRLs and extend certificates. The following file-formats are supported: PEM, DER, PKCS#7, PKCS#8, PKCS#10, PKCS#12, and SPKAC.
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.