RSS 173 projects tagged "Mac OS X"

Download Website Updated 29 Sep 2007 HarnMaker

Screenshot
Pop 27.35
Vit 4.23

HarnMaker is a character generator for the HarnMaster role playing game. Users can roll, create, and edit characters. Please see www.columbiagames.com for more information on HarnMaster.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 70.70
Vit 3.17

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).

Download Website Updated 26 May 2008 QBrew

Screenshot
Pop 263.71
Vit 5.65

QBrew is a homebrewer's recipe calculator. You can create and modify ale and lager recipes as well as calculate gravity, color, and bitterness. QBrew includes a database of styles, grains, hops, and miscellaneous ingredients, plus a brewing tutorial.

Download Website Updated 06 Feb 2010 The ACE ORB

Screenshot
Pop 81.49
Vit 4.09

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.

Download Website Updated 15 Jun 2011 The Glasgow Haskell Compiler

Screenshot
Pop 176.08
Vit 10.08

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.

Download Website Updated 03 Mar 2013 Botan

Screenshot
Pop 442.44
Vit 42.71

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.

Download Website Updated 17 Dec 2009 F-Script

Screenshot
Pop 73.85
Vit 7.30

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.

Download Website Updated 07 Nov 2011 X Certificate and Key management

Screenshot
Pop 374.84
Vit 11.33

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.

Download Website Updated 23 Jul 2008 iHook

Screenshot
Pop 72.11
Vit 4.47

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.

No download Website Updated 02 May 2005 Fugu SSH

Screenshot
Pop 125.70
Vit 4.37

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.

Screenshot

Project Spotlight

openDCIM

Data center infrastructure management.

Screenshot

Project Spotlight

Podget

A simple podcast aggregator.