Gerrit Repositories
You can use the code from these repositories to experiment, test, build, create patches, issue pull requests, etc.
tptp/org.eclipse.tptp.platform.git
tptp/org.eclipse.tptp.test.git
tptp/org.eclipse.tptp.trace.git
tptp/org.eclipse.tptp.test-results.git