Agda is a dependently typed programming language
Open-source & free, battle-tested at Alibaba's scale
Lightweight powerful CLI tool for terminal-based AI interaction
Official, Anthropic-managed directory of high quality Claude Plugins
Develop software autonomously
AI-powered tool for developers, simplifying coding tasks
o1-engineer is a command-line tool designed to assist developers
Deprecated AI CLI for terminal based interactions
Structured reasoning framework for Claude Code, Gemini, and Cursor
Ease debugging PHP code for cool developers
Instant AI code reviews
A basic enterprise information development platform
The React for Voice and Chat, build apps for Alexa, Google Assistant
Developer Assistant for PUC-Rio Tecgraf sci/tech toolkits on GNU/Linux
A free, feature-rich web analyzer and exporter/cloner you will love!
Login with Multiple Hierarchies of User and Members!
Mentat - The AI Coding Assistant
Open-source platform for automated accessibility testing.
Generate and auto-execute Python scripts in the cli
Full Screen Assistant for LÖVE
Visual Studio Code client for Tabnine
Kalliope is a framework to create your own personal assistant
A REST client inside your Laravel app
Code fix provider that allows to generate mapping code in design time
Auxiliary tool that can replace the player, push notifications, etc.