GitHub repos by splintchecker

1 public repo by splintchecker in the catalog, most starred first.