code-forensics : code-forensics is a toolset for analysing codebases stored in a version control system. It leverages the repository logs, or version history data, to ...
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...
GRV : GRV is a terminal based interface for viewing git repositories. It allows refs, commits and diffs to be viewed, searched and filtered. The behaviour a...
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...
A framework for managing and maintaining multi-language pre-commit hooks.