RSS 14 projects tagged "Emacs"

Download Website Updated 21 Dec 2013 GNU TeXmacs

Screenshot
Pop 837.18
Vit 90.91

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.

Download No website Updated 14 Sep 2013 XEmacs

Screenshot
Pop 326.53
Vit 28.14

XEmacs (formerly known as Lucid Emacs) is a powerful, extensible text editor with full GUI support, initially based on an early version of GNU Emacs 19 from the Free Software Foundation and since kept up to ate with recent versions of that product. XEmacs stems from a collaboration of Lucid, Inc. with Sun Microsystems, Inc. and the University of Illinois with additional support having been provided by Amdahl Corporation, INS Engineering Corporation, and a huge amount of volunteer effort.

Download Website Updated 07 Feb 2007 MIT/GNU Scheme

Screenshot
Pop 114.16
Vit 6.78

MIT/GNU Scheme is an implementation of the Scheme programming language, providing an interpreter, compiler, source-code debugger, integrated Emacs-like editor, and a large runtime library. MIT/GNU Scheme is best suited to programming large applications with a rapid development cycle. Recent versions of the system are supported on the following platforms: GNU/Linux, *BSD, OS/2, and Windows.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 66.86
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 Website Updated 04 Aug 2004 Tintware

Screenshot
Pop 22.98
Vit 3.47

Tint is a string substitution language; it is intended to be used as an extension language. Tint Emacs is an emacs clone for Win32, Mac OS X, and Darwin. It uses Tint as its extension language.

Download Website Updated 09 Jan 2003 XSLT-process

Screenshot
Pop 42.78
Vit 2.88

XSLT-process is a minor mode for (X)Emacs that allows you to run a Java XSLT processor on a buffer and display the result in another buffer, or in a browser. You can also run the XSLT processor in debugging mode, setup breakpoints, run step by step, view local and global XSLT variables, and many more.

Download Website Updated 28 Jan 2004 EMacro

Screenshot
Pop 60.03
Vit 2.78

EMacro is a .emacs that easily configures Emacs and XEmacs on most platforms, without any elisp programming.

Download Website Updated 27 Feb 2004 Java Development Environment for Emacs

Screenshot
Pop 143.84
Vit 2.52

Java Development Environment for Emacs (JDEE) is an Emacs-based integrated development environment (IDE) for developing Java applications and applets. Features include multiple code browsers, a JPDA-based debugger, method and field completion, template-based and procedure-based code generation, Java source code interpreter, context-sensitive help, and more.

Download Website Updated 15 Jan 2002 The Insidious Big Brother Database

Screenshot
Pop 179.13
Vit 1.98

The Insidious Big Brother Database (BBDB) is a contact management utility for use with GNU Emacs and XEmacs. It can hook into Emacs-based mail- and news-readers and automatically collect information on messages therein.

No download No website Updated 04 May 2009 Komodo Edit

Screenshot
Pop 97.40
Vit 1.94

Komodo Edit is a multi-platform, multi-language editor for dynamic languages and AJAX technology, including Perl, PHP, Python, Ruby, and Tcl, plus support for browser-side code including JavaScript, CSS, HTML and XML. Background syntax checking and syntax coloring catch errors immediately, while autocomplete and calltips guide you as you write. XPI extension support allows you to create your own plugins, and provides the same capability as Firefox, with all standard Mozilla APIs based on XUL, XBL, and XPCOM, plus custom ones for Python and JavaScript. Other features include Vi emulation, Emacs key bindings, code folding, and code snippets.

Screenshot

Project Spotlight

Lernstick Exam Environment

A live Linux distribution for exams.

Screenshot

Project Spotlight

cvs-fast-export

A tool that analyzes RCS files and emits an equivalent history in the form of a fast-import stream.