18 projects tagged "Emacs"
Updated 27 Mar 2013
GNU TeXmacs
| Pop | 973.98 |
|---|---|
| Vit | 104.50 |
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.
Updated 27 Nov 2012
gol
| Pop | 31.84 |
|---|---|
| Vit | 1.00 |
gol is a simple Game of Life simulator.
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 05 Jun 2010
twittering-mode
| Pop | 22.54 |
|---|---|
| Vit | 1.51 |
Twittering-mode is an Emacs major mode for Twitter. It lets you check timelines, tweet, mark posts as favorites, and so on with Emacs.
Updated 04 May 2009
Komodo Edit
| Pop | 110.96 |
|---|---|
| Vit | 1.98 |
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.
Updated 23 Sep 2008
ironout
| Pop | 32.12 |
|---|---|
| Vit | 1.42 |
Ironout is a C refactoring tool. It tries to be simple and fast.
Updated 05 May 2008
Plash
| Pop | 146.98 |
|---|---|
| Vit | 5.77 |
Plash is a sandbox for running GNU/Linux programs with minimum privileges. It is suitable for running both command line and GUI programs. It can dynamically grant Gtk-based GUI applications access rights to individual files that you want to open or edit. This happens transparently through the Open/Save file chooser dialog box, by replacing GtkFileChooserDialog. Plash virtualizes the file namespace and provides per-process/per-sandbox namespaces. It can grant processes read-only or read-write access to specific files and directories, mapped at any point in the filesystem namespace. It does not require modifications to the Linux kernel.
Updated 10 Nov 2007
XEmacs
| Pop | 279.52 |
|---|---|
| Vit | 8.74 |
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.
Updated 07 Feb 2007
MIT/GNU Scheme
| Pop | 104.50 |
|---|---|
| Vit | 6.99 |
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.
Updated 10 Dec 2006
CMU Common Lisp
| Pop | 195.03 |
|---|---|
| Vit | 3.39 |
CMUCL is a free, high performance implementation of the Common Lisp programming language which runs on most major Unix platforms. It mainly conforms to the ANSI Common Lisp standard. CMUCL provides a sophisticated native code compiler; a powerful foreign function interface; an implementation of CLOS; the Common Lisp Object System; which includes multimethods and a metaobject protocol; a source-level debugger and code profiler; and an Emacs-like editor implemented in Common Lisp. CMUCL is maintained by a team of volunteers collaborating over the Internet, and is mostly in the public domain.
