A simple API that miner some Java projects on GitHub.