gbalats

awesome-emacs

A community driven list of useful Emacs packages, libraries and other items.

docker.el

Manage docker from Emacs.

souffle

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

python-inquirer

A collection of common interactive command line user interfaces, based on Inquirer.js (https://github.com/SBoudrias/Inquirer.js/)

awesome-machine-learning

A curated list of awesome Machine Learning frameworks, libraries and software.

polymode

Framework for Multiple Major Modes in Emacs (core library)

make-rules

capsule

Dead-Simple Packaging and Deployment for JVM Apps

llvm-coreutils

gscholar-bibtex

Retrieve BibTeX entries from Google Scholar, ACM Digital Library, IEEE Xplore and DBLP

emacs-websocket

A websocket implementation in elisp, for emacs.

seahorn

SeaHorn Verification Framework

cool-retro-term

A good looking terminal emulator which mimics the old cathode display...

hacker-scripts

Based on a true story

mmm-mode

New official home for mmm-mode, fixed for Emacs >= 23

stack

A static checker for identifying unstable code.

upterm

A terminal emulator for the 21st century.

yasnippet-snippets

a collection of yasnippet snippets for many languages

mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

ggtags

Emacs frontend to GNU Global source code tagging system.

jdee

The JDEE is an add-on software package that turns Emacs into a comprehensive system for creating, editing, debugging, and documenting Java applications.

git-remote-hg

Transparent bidirectional bridge between Git and Mercurial for Git

infer

A static analyzer for Java, C, C++, and Objective-C

awesome-java

A curated list of awesome frameworks, libraries and software for the Java programming language.

streamalg

Extensible stream pipelines with object algebras.

ecukes

Cucumber for Emacs

espuds

Common step definitions for Ecukes

haskell-mode

Emacs mode for Haskell

helm

Emacs incremental completion and selection narrowing framework

sml-streams

Streaming library for bulk memory operations with Standard ML in MLton