Yannick Duchêne's repositories
PostiATS-Utilities
Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)
External-Programs-ST3
A plug‑in for integration of external programs into Sublime Text 3, as window commands and text commands.
ats2-gtksourceview-language-support
ATS2 language support and integration
ATS-guide
Cheatsheet for theorem proving in ATS
ats-mode-sublimetext
An ATS mode for Sublime Text 2/3 and TextMate
ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
ATS-Postiats-contrib
ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
css-validator-filter
IDE / text‑editor filter for the W3C CSS validator
doxygen
Official doxygen git repository
hol-guidebook
HOL Guidebook
LDoc
A LuaDoc-compatible documentation generation system
mtm
Perhaps the smallest useful terminal multiplexer in the world.
package_control_channel
Default channel file for Package Control. Follow the directions at:
python-pylint-i18n
Pylint checkers to find non-i18n strings in a python file, aimed at Django projects
sublime-undocs
Sublime Text Unofficial Documentation
SublimeExternalCommand
A Sublime Text 2 & 3 plugin for modifying buffers using external command output.