10/12/2024

• 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...
• Danswer : Danswer is the open source AI assistant connected to your company's docs, apps, and people.
• Tilt : Tilt makes it possible to develop all your microservices locally in Kubernetes while collaborating with your team. Write a Tiltfile script that descri...
• Wick : Wick is a free browser-based toolkit for creating small interactive things for the Internet. With Wick, you can create games, animations, and everythi...
• 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...