codebender : Codebender is an embedded development platform with an emphasis on the Arduino and it’s completely web-based, so you don’t have to install, manage and...
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...
gitflow : Git extensions to provide high-level repository operations for Vincent Driessen's branching model.
Telepresence : Telepresence, in conjunction with a containerized development environment, gives the developer a fast development workflow in developing a multi-conta...
lefthook : Fast and powerful Git hooks manager for Node.js, Ruby or any other type of projects.
Fast. It is written in Go. Can run commands in parallel.
Powerfu...
A framework for managing and maintaining multi-language pre-commit hooks.
