pre-commit : A framework for managing and maintaining multi-language pre-commit hooks.
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...
Diagrams : Diagrams lets you draw the cloud system architecture in Python code.
It was born for prototyping a new system architecture without any design tools. Y...
Retrospectiva : Retrospectiva is an open source, web-based, project management and bug-tracking tool.
It is intended to assist the collaborative aspect of work carrie...
DuckRails : DuckRails is a development tool.
Its main purpose is to allow developers to quickly mock API endpoints that for many possible reasons can't reach at a...
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 update anything.