emacs
Add support for GNU Emacs
| Name | Category | Description |
|---|---|---|
| stumpwm | x11-wm | A Window Manager written entirely in Common Lisp |
| supercollider | media-sound | Environment and programming language for real time audio synthesis |
| teyjus | dev-lang | Higher-order logic programming language Lambda Prolog |
| thepeg | sci-physics | Toolkit for High Energy Physics Event Generation |
| timidity++ | media-sound | Handy MIDI to WAV converter with OSS and ALSA output support |
| twelf | sci-mathematics | Implementation of the logical framework LF |
| uim | app-i18n | Multilingual input method framework |
| utop | dev-ml | Universal toplevel for OCaml |
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | SPARK 2014 repository for the Why3 verification platform |
| xdvik | app-text | DVI viewer for X Window System |
« Previous 1 ... 3 4 5