GitHub repository: ncatlab/instiki2git
Primary language: Python
Description: A script for exporting an Instiki installation to a git repository.