Yannick Duchêne Yannick Duchêne

Tracking 176 commits to 10 open source packages


Homepage: http://bulleforum.net

Location: France


Repositories

Hibou57/PostiATS-Utilities
Messages pretty printer and JSONized files cache for ATS/PostiATS
Python - BSD-2-Clause - Last pushed - 7 stars
Hibou57/ats2-gtksourceview-language-support
ATS2 language support and integration
Python - MIT - Last pushed - 3 stars
Hibou57/External-Programs-ST3
A plug‑in for integration of external programs into Sublime Text 3, as window commands and text c...
Python - BSD-2-Clause - Last pushed - 2 stars
See all Yannick Duchêne's repositories

Repositories Contributed To

githwxi/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
ATS - Other - Last pushed - 207 stars - 41 forks
steinwaywhw/ats-mode-sublimetext
An ATS mode for Sublime Text 2/3 and TextMate
MIT - Last pushed - 7 stars - 3 forks
mitmproxy/pdoc
A simple command line tool and library to auto generate API documentation for Python libraries.
Python - Unlicense - Last pushed - 544 stars - 79 forks
rory/python-pylint-i18n
Pylint checkers to find non-i18n strings in a python file, aimed at Django projects
Python - GPL-3.0 - Last pushed - 20 stars - 11 forks
allanlw/ATS-guide
Cheatsheet for theorem proving in ATS
Last pushed - 1 stars - 2 forks
See all Yannick Duchêne's contributions

Last synced: 2017-08-12 08:25:04 UTC

Login to resync this page