LaTeX package for typesetting pseudocode and cryptographic games

Repository and website for the Estimate all the {LWE, NTRU} schemes! code and paper.

Easy base conversion in emacs

It's Magit! A Git Porcelain inside Emacs.

Emacs package that displays available keybindings in popup

The Solarized colour theme, ported to Emacs.

Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

Project Interaction Library for Emacs

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

Emacs minor-mode for editing Python docstrings.

Jump to things in Emacs tree-style

LanguageTool for Emacs

company-mode autocompletion for auctex

Emacs theme selection with helm interface

Emacs front end for SageMath

Lattice algorithms using floating-point arithmetic

Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations