Tilt : Tilt makes it possible to develop all your microservices locally in Kubernetes while collaborating with your team.
Write a Tiltfile script that descri...
Pulumi : Pulumi's Infrastructure as Code SDK is the easiest way to create and deploy cloud software that use containers, serverless functions, hosted services,...
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...
Binci : Binci is a utility that allows you to easily containerize your development workflow using Docker. Simply put, it's like having a cleanroom for all of ...
Otto : Otto knows how to develop and deploy any application on any cloud platform, all controlled with a single consistent workflow to maximize the productiv...
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.