The source code and documentation of Vigilia