GitHub repository: DrJavaAtRice/drjava
Primary language: Java
Description: Branches for integration and releases