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...
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...
Tilt : Tilt makes it possible to develop all your microservices locally in Kubernetes while collaborating with your team.
Write a Tiltfile script that descri...
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...
monday : Your new microservice development environment friend. This CLI tool allows you to define a configuration to work with both local applications (Go, Nod...
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.