GitHub repository: uber-research/RxThreadEffectChecker
Primary language: Java
Description: Static checker for Rx Threading Effects, based on the Checker Framework