Code Maat : Code Maat is a command line tool used to mine and analyze data from version-control systems (VCS).
Sourcegraph : Sourcegraph Server is a free, self-hosted code search server that integrates with your code host and supports multi-repository, regexp, and diff searc...
TLA : TLA stands for the Temporal Logic of Actions, but it has become a shorthand for referring to the TLA+ specification language and the PlusCal algorithm...
Trunk Based Development : A source-control branching model, where developers collaborate on code in a single branch called ‘trunk’ *, resist any pressure to create other long-l...
Gitkube : Gitkube is a tool for building and deploying docker images on Kubernetes using git push.
A framework for managing and maintaining multi-language pre-commit hooks.
