RSS 13 projects tagged "Emacs"

Download Website Updated 21 Dec 2013 GNU TeXmacs

Screenshot
Pop 829.35
Vit 89.43

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.

No download Website Updated 30 Sep 2012 Geiser

Screenshot
Pop 43.36
Vit 4.09

Geiser is a generic Emacs/Scheme interaction mode, featuring an enhanced REPL and a set of minor modes that improve Emacs' basic major mode for Scheme. The main features provided are evaluation of forms in the namespace of the current module, macro expansion, loading of files and modules, namespace-aware identifier completion, automatic documentation, jumping to the definition of an identifier, access to documentation, listings of identifiers exported by a given module, and rudimentary support for debugging. Geiser supports Guile and Racket.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 65.82
Vit 3.93

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 05 Jun 2010 twittering-mode

Screenshot
Pop 23.37
Vit 1.49

Twittering-mode is an Emacs major mode for Twitter. It lets you check timelines, tweet, mark posts as favorites, and so on with Emacs.

No download No website Updated 04 May 2009 Komodo Edit

Screenshot
Pop 97.58
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.

No download Website Updated 31 Jan 2009 Ready Lisp

Screenshot
Pop 24.00
Vit 2.72

Ready Lisp packages an ANSI Common Lisp environment for Mac OS X users as a single application bundle. It repackages and configures the following components: Aquamacs Emacs, SBCL Common Lisp, the SLIME Lisp IDE, and more.

Download Website Updated 05 Feb 2008 Pymacs

Screenshot
Pop 42.11
Vit 1.00

Pymacs is a powerful tool which, once started from Emacs, allows both-way communication between Emacs Lisp and Python. Pymacs in intended for using Python as an extension language for Emacs rather than the other way around, and this asymmetry is reflected in some design choices. Within Emacs Lisp code, one may load and use Python modules. Python functions may themselves use Emacs services and handle Emacs Lisp objects kept in Emacs Lisp space.

No download Website Updated 18 Jun 2007 Aquamacs Emacs

Screenshot
Pop 47.25
Vit 2.51

Aquamacs is a Mac-like version of the powerful Emacs text editor that runs as a standard OS X application. It features extensive customization that enables it to conform better with Apple's standard Human Interface Guidelines (HIG) than standard versions of the editor do. It provides a more Mac-like user experience than Carbon Emacs.

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

Screenshot
Pop 70.14
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.

No download Website Updated 08 May 2005 yaced

Screenshot
Pop 26.50
Vit 2.85

yaced (Yet Another Carbon Emacs Distribution) provides Apple Installer packages of Carbon Emacs and AUCTeX.

Screenshot

Project Spotlight

c++-gtk-utils

A lightweight library containing a number of classes and functions to ease the task of programming GTK+ programs with C++ in POSIX environments.

Screenshot

Project Spotlight

ZABBIX

An enterprise-class distributed monitoring solution.