GitHub repository: polyphemus-ci/polyphemus
Primary language: Python
Description: A CI tool that frontends to github et al. and backends to BaTLaB