Stars
Perform autonomous actions on a computer following a script.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A tool for counting Pull Request Review Comments performed by an organization's GitHub users
Linearization checker for Java concurrent programs
Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.
A simple JavaScript runtime that runs in JavaScript
This project brings some of the great eclipse features to emacs developers. It is based on the eclim project, which provides eclipse features for vim.