OpenHands : OpenHands is a platform for software development agents powered by AI.
OpenHands agents can do anything a human developer can: modify code, run comman...
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...
Google App Engine : Google App Engine lets you run web applications on Google's infrastructure. App Engine applications are easy to build, easy to maintain, and easy to s...
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...
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.