RSS 17 projects tagged "Mac OS X"

No download Website Updated 18 Mar 2011 Shortcuts

Screenshot
Pop 14.63
Vit 28.73

Shortcuts is a tool to make your own keyboard shortcuts for frequently used items and actions. It can set shortcuts for the most popular applications like iCal, iTunes, and Mail. It can set shortcuts for actions that control the system, volume, screen, and playback of music and video. Shortcuts can be used to open frequently used files and documents, scripts that you run regularly, and your favorite Web sites.

No download Website Updated 18 Mar 2011 Launcher for Mac OS X

Screenshot
Pop 13.67
Vit 28.73

Launcher for Mac OS X is a fast and light utility that speeds up the way you work on your Mac. It features an application launcher that can use application names, abbreviations, and short commands to launch any app. It can also quickly and easily perform Web Searches with Google, Yahoo, Bing, eBay, Youtube, Wikipedia, and other search engines. It can simplify the execution of commands like activating the screen saver, muting the sound, and shutting down the computer. It includes a calculator and dictionary to perform simple and complex calculations and look up brief word definitions. It can make it easier to open frequently used files and Web sites, and can execute shell commands without Terminal app.

Download Website Updated 07 Aug 2012 Steel Bank Common Lisp

Screenshot
Pop 229.02
Vit 25.09

Steel Bank Common Lisp is a development environment for Common Lisp, with excellent support for the ANSI standard: garbage collection, lexical closures, powerful macros, strong dynamic typing, incremental compilation, and the famous Common Lisp Object System (multimethods and all). It also includes many extensions, such as native threads, socket support, a statistical profiler, programmable streams, and more. These are all available through an integrated, interactive native compiler which feels like an interpreter. SBCL is unique in being a multiplatform native compiler which bootstraps itself completely from source, using a C compiler and any other ANSI Common Lisp implementation.

Download Website Updated 13 Dec 2012 Mocosel

Screenshot
Pop 22.63
Vit 22.47

Mocosel is a high-level programming language, based on a simple syntax but offering a very powerful and self-extensive programming experience.

Download Website Updated 06 Jul 2012 librep

Screenshot
Pop 108.91
Vit 12.49

Librep is a shared library implementing a Lisp dialect that is lightweight, reasonably fast, and highly extensible. It contains an interpreter, byte-code compiler, and virtual machine. Applications may use the interpreter as an extension language, or it may be used for standalone scripts. Rep was originally inspired by Emacs Lisp. However one of the main deficiencies of elisp--the reliance on dynamic scope--has been removed. Also, rep only has a single namespace for symbols.

Download Website Updated 06 Jul 2012 rep-gtk

Screenshot
Pop 89.25
Vit 11.65

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 12 Mar 2011 Lush

Screenshot
Pop 143.19
Vit 6.11

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. It is intended as a programming environment for prototyping numerically intensive applications. Unlike alternatives like Python or SciLab, Lush is designed for easy integration of existing C/C++/Fortran codes.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 54.44
Vit 4.50

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 17 Jun 2013 STMX

Screenshot
Pop 126.93
Vit 3.79

STMX is a high-performance Common Lisp library for composable Software Transactional Memory (STM), a concurrency control mechanism aimed at making concurrent programming easier to write and understand. Instead of traditional lock-based programming, one programs with atomic memory transactions: if a memory transaction returns normally it is committed. If it signals an error, it is rolled back. Transactions can safely run in parallel in different threads, are re-executed from the beginning in case of conflicts or if consistent reads cannot be guaranteed, and effects of a transaction are not visible from other threads until committed. This gives freedom from deadlocks, automatic rollback on failure, and aims to resolve the tension between granularity and concurrency.

Download Website Updated 25 Jul 2010 Menace of the Mines

Screenshot
Pop 43.01
Vit 2.11

Menace of the Mines is a fast-paced roguelike game that has tons of monsters, many different classes and races, and a unique magic system (well, that's the goal).

Screenshot

Project Spotlight

GTKMan

A simple man page viewer.

Screenshot

Project Spotlight

aria2

A multi-protocol, multi-source, cross-platform download utility.