Tilt : Tilt makes it possible to develop all your microservices locally in Kubernetes while collaborating with your team.
Write a Tiltfile script that descri...
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...
Draft : Simple app development & deployment - into any Kubernetes cluster. Draft makes it easy to build applications that run on Kubernetes. Draft targets the...
pre-commit : A framework for managing and maintaining multi-language pre-commit hooks.
Cloud Carbon Footprint : Cloud Carbon Footprint is an open source tool that provides visibility and tooling to measure, monitor and reduce your cloud carbon emissions. Archite...
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.