12 projects tagged "Mac OS X"
Updated 28 Apr 2011
Proof General
| Pop | 54.33 |
|---|---|
| Vit | 4.51 |
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 03 Jul 2002
Fastcm
| Pop | 10.82 |
|---|---|
| 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 04 Mar 2003
RScheme
| Pop | 38.88 |
|---|---|
| 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.
Updated 06 Jun 2003
Nyquist
| Pop | 43.82 |
|---|---|
| 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 24 May 2005
Superior Lisp Interaction Mode for Emacs
| Pop | 72.66 |
|---|---|
| Vit | 1.47 |
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.
Updated 25 Jul 2010
Menace of the Mines
| Pop | 43.36 |
|---|---|
| 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).
Updated 28 Feb 2011
neslisp
| Pop | 28.98 |
|---|---|
| Vit | 1.42 |
neslisp is a LISP compiler suite for the Nintendo Entertainment System. It compiles lisp code to assembly code for the 6502 processor architecture.
Updated 18 Mar 2011
Shortcuts
| Pop | 14.73 |
|---|---|
| Vit | 28.69 |
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.
Updated 18 Mar 2011
Launcher for Mac OS X
| Pop | 13.67 |
|---|---|
| Vit | 28.69 |
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.
Updated 13 Dec 2012
Mocosel
| Pop | 22.67 |
|---|---|
| Vit | 22.42 |
Mocosel is a high-level programming language, based on a simple syntax but offering a very powerful and self-extensive programming experience.
