Ockam : Ockam is a suite of open source tools, programming libraries, and managed cloud services to orchestrate end-to-end encryption, mutual authentication, ...
Retrospectiva : Retrospectiva is an open source, web-based, project management and bug-tracking tool.
It is intended to assist the collaborative aspect of work carrie...
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 : OpenHands is a platform for software development agents powered by AI.
OpenHands agents can do anything a human developer can: modify code, run comman...
Diagrams : Diagrams lets you draw the cloud system architecture in Python code.
It was born for prototyping a new system architecture without any design tools. Y...
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.