emacs
Add support for GNU Emacs
| Name | Category | Description |
|---|---|---|
| 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 | A multilingual input method framework |
| utop | dev-ml | Universal toplevel for OCaml |
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | Platform for deductive program verification |
| xdvik | app-text | DVI viewer for X Window System |
« Previous 1 ... 3 4 5