Danswer : Danswer is the open source AI assistant connected to your company's docs, apps, and people.
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 ...
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...
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.