GitHub repository: thoughtpolice/cryptol-mode
Primary language: Emacs Lisp
Description: A Cryptol major mode for Emacs.