Give AlbumentationsX a star on GitHub — it powers this leaderboard
clone of typetools/jdk for checkerframework annotations