Repository Index

Apropos across Quicklisp libraries

• common-lisp
• common-lisp-tools
• lisp
• tools

SLIME extension for Lisp Critic

• common-lisp
• lisp
• tools

Select OCaml opam switches via a menu or using a command

• emacs
• proof-general
• ocaml
• opam

The repository host gives no description.

Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/learn-ocaml) [maintainer=@erikmd]

• emacs
• ocaml
• learn-ocaml

Major mode that provides syntax highlighting and basic completion for TypeQL

• syntax-highlighting
• typedb
• typeql
• emacs

SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.

Emacs plugin for Fuse

rgbds assembly mode for GNU Emacs

GNU/Emacs Q# mode

• qsharp
• quantum
• emacs

The repository host gives no description.