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