4853 projects tagged "Mac OS X"

Download Website Updated 12 Sep 2011 PostgreSQL

Screenshot
Pop 7,505.76
Vit 17.87

PostgreSQL is a robust relational database system with over 25 years of active development that runs on all major operating systems. It is fully ACID compliant, and has full support for foreign keys, joins, views, triggers, and stored procedures (in multiple languages). It includes most SQL92 and SQL99 data types, including INTEGER, NUMERIC, BOOLEAN, CHAR, VARCHAR, DATE, INTERVAL, and TIMESTAMP. It also supports storage of binary large objects, including pictures, sounds, or video. It has native programming interfaces for C/C++, Java, .Net, Perl, Python, Ruby, Tcl, and ODBC, among others, and exceptional documentation.

No download Website Updated 13 Sep 2013 PrBoom

Screenshot
Pop 148.73
Vit 18.05

Doom was the classic 3D shoot'em'up game from id Software. PrBoom is a game engine for playing Doom levels, which runs on both Windows and Linux/Unix systems. It uses the SDL graphics library. PrBoom a very faithful Doom port, with great effort taken to be compatible with as many original Doom levels and demos as possible.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 57.18
Vit 3.85

Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.

Download Website Updated 08 Dec 2011 Pure FTP Server

Screenshot
Pop 369.90
Vit 20.09

Pure FTP Server is a fast, production quality, standards-conformant FTP server based on Troll-FTPd. It has no known vulnerability, it is trivial to set up, and it is especially designed for modern kernels. Features include PAM support, IPv6, chroot()ed home directories, virtual domains, built-in 'ls', FXP protocol, anti-warez system, bandwidth throttling, restricted ports for passive downloads, an LDAP backend, XML output, and more.

Download Website Updated 10 Jun 2011 PVM

Screenshot
Pop 102.86
Vit 5.60

PVM (Parallel Virtual Machine) is a portable message-passing programming system, designed to link separate host machines to form a ``virtual machine'' which is a single, manageable computing resource. The virtual machine can be composed of hosts of varying types, in physically remote locations. PVM applications can be composed of any number of separate processes, or components, written in a mixture of C, C++ and Fortran. The system is portable to a wide variety of architectures, including workstations, multiprocessors, supercomputers and PCs.

Download Website Updated 08 Aug 2009 pygame

Screenshot
Pop 210.77
Vit 7.27

Pygame is a set of Python extension modules designed for writing games. The core of pygame is wrapped on top of the SDL library.

Download Website Updated 28 May 2014 PyQt

Screenshot
Pop 691.17
Vit 151.90

PyQt is a comprehensive set of Python bindings for the Qt GUI toolkit.

Download Website Updated 07 Oct 2011 Python Imaging Library

Screenshot
Pop 167.63
Vit 5.02

The Python Imaging Library (PIL) adds image processing capabilities to your Python interpreter. This library supports many file formats, and provides powerful image processing and graphics capabilities.

Download Website Updated 09 Jun 2014 Python-SIP

Screenshot
Pop 532.54
Vit 220.64

SIP is a tool to generate C++ interface code for Python. It is similar to SWIG, but uses a different interface format. It was used to build PyQt and PyKDE, and has support for the Qt signal/slot mechanism.

Download Website Updated 24 Oct 2004 Q

Screenshot
Pop 103.08
Vit 7.26

Q is a powerful and extensible functional programming language based on the term rewriting calculus. When programming with Q, you specify a system of equations which the interpreter uses as rewrite rules to reduce expressions to normal form. Q is useful for scientific programming and other advanced applications, and also as a sophisticated kind of desktop calculator. The distribution includes the Q programming tools, a standard library, add-on modules for interfacing to various third-party libraries, and an Emacs mode.

Screenshot

Project Spotlight

RCDevs TiQR

A two-factor authentication server.

Screenshot

Project Spotlight

Outline

A note-taking app.