whitequark

• 更优的 OCaml

  ST3 6K 安装
  默认 OCaml 包的改进版本

• Coq

  ST3 2K 安装
  为 Sublime Text 提供的 Coq 编程语言支持

• LLVM

  5K 安装
  LLVM 的语法高亮和代码片段

• LLVM TableGen

  1K 安装
  LLVM TableGen 语法定义

• OCaml 自动完成

  4K 安装
  Sublime Text 插件，通过 ocp-index 提供 OCaml 自动完成

• Rainbowth

  ST3 12K 安装
  Rainbowth 是一个用于高亮 Lisp 源代码中匹配括号的 Sublime Text 3 插件。

• S-Expressions 语法

  ST3 243 安装
  Sublime Text 3 对 S-Expressions 的语法定义