Repository Index

Style guides for Google-originated open-source projects

• cpplint
• styleguide
• style-guide

The Lux Programming Language

• language
• programming-language
• macros
• functional-programming

Emacs mode for the Go programming language

Solarized redesigned: fine-tuned color palette for programmers with focus on readability.

A tiny DIY kit to set up vanilla Emacs for Common Lisp programming

• emacs
• slime
• paredit
• rainbow-delimiters

Emacs support for Apple's Swift programming language.

• emacs-lisp
• swift-programming-language
• emacs
• swift

A Coq IDE build on top of Proof General's Coq mode

• proof-general
• coq
• integrated-development-environment
• company-mode

🌻 An Emacs major mode for the V programming language.

• v
• vlang
• emacs-mode

Emacs major mode for the V programming language

Select OCaml opam switches via a menu or using a command

• emacs
• proof-general
• ocaml
• opam

Major mode that provides syntax highlighting and basic completion for TypeQL

• syntax-highlighting
• typedb
• typeql
• emacs