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...
Figproxy : Figproxy is a tool that enables rapid prototyping of tangible user experiences allowing Figma prototypes to talk to the external world.
More specifica...
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...
Vite : Vite is a build tool that aims to provide a faster and leaner development experience for modern web projects. It consists of two major parts:
A dev se...
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.