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...
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...
Ockam : Ockam is a suite of open source tools, programming libraries, and managed cloud services to orchestrate end-to-end encryption, mutual authentication, ...
Draft : Simple app development & deployment - into any Kubernetes cluster. Draft makes it easy to build applications that run on Kubernetes. Draft targets the...
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.