emacs

Add support for GNU Emacs
Name Category Description
a2ps app-text Any to PostScript filter
acl2 sci-mathematics Industrial strength theorem prover, logic and programming language
alectryon sci-mathematics Toolkit for literate programming in Coq
anthy app-i18n Anthy -- free and secure Japanese input system
asymptote media-gfx A vector graphics language that provides a framework for technical drawing
autoconf sys-devel Used to create autoconfiguration files
bigloo dev-scheme Practical Scheme Compiler with many extensions
ccrypt app-crypt Encryption and decryption
cdargs app-misc Bookmarks and browser for the shell builtin cd command
cflow dev-util C function call hierarchy analyzer
c-intercal dev-lang C-INTERCAL - INTERCAL to binary (via C) compiler
cmake dev-util Cross platform Make
coccigrep dev-util A semantic grep for the C language
coccinelle dev-util Program matching and transformation engine
coq-serapi sci-mathematics Serialization library and protocol for interaction with the Coq proof assistant
cscope dev-util Interactively examine a C program
ctemplate dev-cpp A simple but powerful template language for C++
cubicle sci-mathematics Model checker for verifying properties of array-based systems
cython dev-python A Python to C compiler
desktop-file-utils dev-util Command line utilities to work with desktop menu entries

1 2 3 ... 5 Next »

Thank you!