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...
Gitpod : Gitpod is an open-source Kubernetes application providing fully-baked, collaborative development environments in your browser - powered by VS Code.
Ti...
scriv : Scriv is a command-line tool for helping developers maintain useful changelogs. It manages a directory of changelog fragments. It aggregates them into...
monday : Your new microservice development environment friend. This CLI tool allows you to define a configuration to work with both local applications (Go, Nod...
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...
A framework for managing and maintaining multi-language pre-commit hooks.
