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...
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...
DuckRails : DuckRails is a development tool.
Its main purpose is to allow developers to quickly mock API endpoints that for many possible reasons can't reach at a...
Denigma : Denigma explains code in conversational English.
Powered by machine learning.
pre-commit : A framework for managing and maintaining multi-language pre-commit hooks.
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.