If you are looking for URLs to jar files or stable identifiers for SNAPSHOT versions you can take a look at the full Maven repository for typed/checker.jvm.