4853 projects tagged "Mac OS X"

No download Website Updated 06 Dec 2005 MLton

Screenshot
Pop 59.03
Vit 4.04

MLton is a whole-program optimizing Standard ML compiler. It generates standalone executables with excellent runtime performance, supports the full SML 97 language, and has a complete basis library. It also has a fast C FFI, source-level time and allocation profiling, and many useful libraries.

Download Website Updated 06 Jul 2012 rep-gtk

Screenshot
Pop 109.60
Vit 8.46

rep-gtk is a language-binding between GTK+/GDK and librep. Basic GLib and ATK bindings are included, too. The bindings for outdated, deprecated libraries (libgnome, libgnomeui, libgnomecanvas, and libglade) have been dropped. In favor of libglade, GTKBuilder is supported.

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 103.66
Vit 1.00

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

Download Website Updated 04 Aug 2003 ZThread

Screenshot
Pop 149.60
Vit 8.56

ZThread is an advanced object-oriented threading and synchronization library, implemented in C++ for POSIX, MacOS, and Win32 systems. It provides an excellent and powerful abstraction from native threads. It includes interruptible thread objects and several other synchronization control objects.

Download Website Updated 08 Jun 2009 cfv

Screenshot
Pop 239.53
Vit 8.50

cfv is a utility to both test and create .sfv (Simple File Verify), .csv, .crc, .md5(sfv style), md5sum, BSD md5, sha1sum, and .torrent checksum verification files. It also includes test-only support for .par and .par2 files. These files are commonly used to ensure the correct retrieval or storage of data.

No download Website Updated 30 Jan 2001 konspire

Screenshot
Pop 24.58
Vit 2.47

konspire is a searchable, distributed file-sharing system featuring resumable file transfers and fast, exhaustive substring searches of all hosted file names on the network. konspire is written using pure Java. Load from processing search requests is distributed throughout a dynamically connected network of servers. Several fault-tolerant features ensure system correctness and reliability.

Download Website Updated 10 Dec 2013 VLC media player

Screenshot
Pop 2,245.66
Vit 49.54

VLC media player is a multimedia player, framework, streamer, and encoder. It can play inputs like files, network streams, DVDs, audio CDs, Blu-Rays, capture devices, and screens. It can play most audio and video codecs and formats (MPEG 1/2/4, H264, VC-1, DivX, WMV, Vorbis, AC3, AAC, MKV, etc.), but can also be used to convert to different formats and/or send streams through the network.

Download Website Updated 16 Dec 2002 webplay

Screenshot
Pop 73.52
Vit 3.98

Webplay creates, from a collection of MP3s and Ogg Vorbis files (indexed from a directory or MySQL/PostgreSQL database), a Web-based jukebox with support for multiple independent streams. If Lame/oggenc are available, it can change the bitrate or codec of a file in real time to a selectable value. Each user controls their stream via a Web interface and can skip back, forward, or to a specific track; increment or decrement the bitrate; and check the current playlist, song, or bitrate. Playlists can be looped, randomized, played locally on the webserver, edited, deleted, reused, or renamed.

Download Website Updated 20 Aug 2001 Ming

Screenshot
Pop 197.52
Vit 3.91

Ming is a library for writing SWF (Flash) format files. It includes high-level functions which abstract away mundane specifics of the file format and PHP (and now Python/Zope, Ruby, and c++) module code which wraps the library into handy objects.

Download Website Updated 09 Jan 2005 uCON64

Screenshot
Pop 80.05
Vit 5.59

uCON64 is a tool to backup all kinds of video games (cartridges and CDs). It supports most available backup units for cartridge-based consoles. It also performs many other tasks, like ROM hacking and conversion of proprietary CD images for use with cdrecord.

Screenshot

Project Spotlight

Interval arithmetic for Ada

An implementation of interval arithmetic.

Screenshot

Project Spotlight

Qore Programming Language

A multi-threaded scripting language targeting logic embedding and interface development.