4 projects tagged "Mac OS X"
Updated 03 Jul 2002
Fastcm
| Pop | 11.40 |
|---|---|
| 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.
Updated 06 Jun 2003
Nyquist
| Pop | 46.58 |
|---|---|
| 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).
Updated 28 Apr 2011
Proof General
| Pop | 53.67 |
|---|---|
| Vit | 4.58 |
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.
Updated 04 Mar 2003
RScheme
| Pop | 39.34 |
|---|---|
| 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.
