451. loccurloccur is Emacs minor mode for navigating through the file like occur does, but without opening a new window.
455. KilnsAn experimental programming language based on the kell calculus.
460. esxmlAn elisp library for working with xml, esxml and sxml.
464. Enhanced-Ruby-ModeAn enhanced ruby-mode for Emacs that uses Ripper in ruby 1.9.2 to highlight and indent the source code
466. smyxNo description, website, or topics provided.
467. sdccThis is a *REALLY OLD* clone of the Small Device C Compiler. Really, why is anyone staring this repository? No one is keeping this up to date. At all. Goto http://sdcc.sourceforge.net/ and get the latest version there.
472. pmlNew version of the PML language and (classical) proof assistant
473. old-emacs.dOld emacs configuration. New one is living at http://github.com/mbriggs/.emacs.d
475. libinputInput device management and event handling library **MIRROR ONLY**
478. archsatA proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
486. pi-php-modepi-php-mode is a fork of Turadg Aleahmad's php-mode based on the version 1.5.
487. squeeA Typed, Composable Database Query Language
489. chrome-emacsclientChrome Devtools integration with Emacs. Right now it lets you to open devtools resources in Emacs. Second step will be to have chrome console mirrored in Emacs.
500. apelAPEL Development Repository for Wanderlust