RSS 12 projects tagged "Mac OS X"

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 67.39
Vit 3.94

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 No website Updated 03 Jul 2002 Fastcm

Screenshot
Pop 9.59
Vit 1.00

Fastcm is a simple Web content management system. It allows the same content to be shared throughout an entire site or several different sites. It is an individual tool for a Webmaster rather than a collaborative system. Fastcm content typically consists of HTML fragments which are meant to be assembled.

Download Website Updated 12 Mar 2011 Lush

Screenshot
Pop 127.32
Vit 5.44

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 04 Mar 2003 RScheme

Screenshot
Pop 38.57
Vit 1.00

RScheme is an object-oriented, extended Scheme implementation with a compiler that targets C or (RScheme's own) bytecodes. It has features expected from a modern language: an object system, reflection, modules, namespaces, safe macros, threads, a system call interface (including sockets), separate compilation, and persistence, as well as the formal basis and power of the Scheme programming language. RScheme also features a powerful, elegant foreign code interface.

No download Website Updated 06 Jun 2003 Nyquist

Screenshot
Pop 41.23
Vit 1.00

Nyquist is an elegant and powerful language for sound synthesis and music composition. Unlike score languages that tend to deal only with events, or signal processing languages that tend to deal only with signals and synthesis, it handles both in a single integrated system. It is also flexible and easy to use because it is based on an interactive Lisp interpreter. You can design instruments by combining functions (much as you would using the orchestra languages of Music V, cmusic, or Csound). You can call upon these instruments and generate a sound just by typing a simple expression. You can combine simple expressions into complex ones to create a whole composition. It runs under any Unix environment, MacOS, Windows 95, and Windows NT, and it produces sound files as output (or direct audio output under Windows).

Download Website Updated 24 May 2005 Superior Lisp Interaction Mode for Emacs

Screenshot
Pop 69.50
Vit 1.46

SLIME is an integrated development environment for Common LISP which does everything you would expect from an IDE: code evaluation, compilation, macro expansion, and auto-completion. It also finds definitions of functions, and marks LISP forms which the compiler finds to be erroneous. It provides easy access to implementation-specific online documentation as well as the ability to look up symbols in the ANSI Common Lisp HyperSpec. Further, it includes an interactive debugger and object inspector.

Download Website Updated 25 Jul 2010 Menace of the Mines

Screenshot
Pop 39.18
Vit 2.09

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

No download Website Updated 18 Mar 2011 Shortcuts

Screenshot
Pop 11.49
Vit 33.55

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 11.31
Vit 33.55

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 No website Updated 29 Apr 2012 LIME

Screenshot
Pop 27.13
Vit 2.01

LIME is a dynamic programming language with a LISP-like syntax. It features partial function application, eager and lazy evaluation, call-by-value and call-by-reference, macros, reading/writing LIME code as data, a standard library including infinite streams, and an interactive mode with auto-indentation.

Screenshot

Project Spotlight

Catharsis.NET.Domain

A .NET library that provides domain business entities.

Screenshot

Project Spotlight

ToPIA

A persistence and application distribution framework.