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...
Neutrino : Neutrino is a companion tool which lets you build web and Node.js applications with shared presets or configurations. It intends to make the process o...
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...
monday : Your new microservice development environment friend. This CLI tool allows you to define a configuration to work with both local applications (Go, Nod...
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 ...
OpenHands is a platform for software development agents powered by AI.
OpenHands agents can do anything a human developer can: modify code, run commands, browse the web, call APIs, and yes—even copy code snippets from StackOverflow.