Similar repositories to squareteam/angular-coq: