GitHub Repositories¶ Overview¶ Collection of 500+ repositories Repository Categories¶ Past Projects¶ Current Projects¶ Code Analysis¶ Knowledge Extraction¶