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
Proxy that allows you to use ollama as a copilot like Github copilot
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
A Zebra Programming Language (ZPL) IDE with embedded viewer
Mentat - The AI Coding Assistant
A free, feature-rich web analyzer and exporter/cloner you will love!
Login with Multiple Hierarchies of User and Members!
Assistant Gemini AI - 100% en mode Console
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
Set of templates and solutions to build advanced conversational apps
A REST client inside your Laravel app
Code fix provider that allows to generate mapping code in design time