A collection of maintenance scripts for the Sciveyor database.
Updated 15 hours ago
A MongoDB corpus tool for the Sciveyor project
Updated 2 days ago
A JSON Schema file encoding the Sciveyor document schema.
Updated 4 weeks ago