GitHub repository: tamadalab/kani
Primary language: Go
Description: A tool for supporting git/GitHub operation for the novice developers.