RSS 275 projects tagged "Mac OS X"

Download Website Updated 10 Jul 2013 BRL-CAD

Screenshot
Pop 490.38
Vit 24.73

BRL-CAD is a powerful constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing support for rendering and geometric analysis, path-tracing for realistic image synthesis, network distributed framebuffer support, and image and signal-processing tools.

Download Website Updated 29 Sep 2007 HarnMaker

Screenshot
Pop 27.31
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 71.41
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 08 Dec 2012 Mup

Screenshot
Pop 94.88
Vit 12.78

Mup produces very high quality PostScript printed music or a MIDI file from a text input file. It can handle almost any kind of music, instrumental or vocal, including tablature, shaped notes, guitar grids, alternate tunings, user-defined symbols, and much more. Mup has been under active development since 1992.

Download Website Updated 20 Jul 2009 NASM - The Netwide Assembler

Screenshot
Pop 534.00
Vit 7.51

NASM is an 80x86 assembler designed for portability and modularity. It supports a range of object file formats including Linux a.out and ELF, COFF, Microsoft 16-bit OBJ, Win32/64, and Apple Mach-O. It will also output plain binary files. Its syntax is designed to be simple and easy to understand, similar to Intel's but less complex. It supports all currently known opcodes, and has advanced macro capability. It includes a disassembler as well.

No download No website Updated 04 Sep 2010 OpenCA

Screenshot
Pop 275.77
Vit 6.38

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.

Download Website Updated 26 May 2008 QBrew

Screenshot
Pop 264.42
Vit 5.66

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 30 Aug 2011 sfront

Screenshot
Pop 81.78
Vit 15.64

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.

No download Website Updated 20 Mar 2014 Tcl/Tk

Screenshot
Pop 864.68
Vit 112.95

Tcl provides a portable scripting environment for Unix, Windows, and Macintosh that supports string processing and pattern matching, native file system access, shell-like control over other programs, TCP/IP networking, timers, and event-driven I/O. Tcl has traditional programming constructs like variables, loops, procedures, namespaces, error handling, script packages, and dynamic loading of DLLs. Tk provides portable GUIs on UNIX, Windows, and Macintosh. A powerful widget set and the concise scripting interface to Tk make it a breeze to develop sophisticated user interfaces.

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.

Screenshot

Project Spotlight

icc2to4

A utility that converts an ICC profile from v2 to v4.

Screenshot

Project Spotlight

InterceptNate

A Hibernate session and transaction manager.