Starred repositories
Roo Code gives you a whole dev team of AI agents in your code editor.
Chrome MCP Server is a Chrome extension-based Model Context Protocol (MCP) server that exposes your Chrome browser functionality to AI assistants like Claude, enabling complex browser automation, c…
Lightweight coding agent that runs in your terminal
AgentEvolver: Towards Efficient Self-Evolving Agent System
🐫 CAMEL: The first and the best multi-agent framework. Finding the Scaling Law of Agents. https://www.camel-ai.org
Multiple instructed-LLMs engage in multi-round "self-questioning" to seek the optimal solution, borrowing from the idea of debate, iteratively refining the current problem-solving process, and fina…
My learning notes for ML SYS.
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
Aws Crypto Abstraction Layer: Cross-Platform, C99 wrapper for cryptography primitives.
C++ wrapper around the aws-c-* libraries. Provides Cross-Platform Transport Protocols and SSL/TLS implementations for C++.
Code examples in various frameworks for creating requests using the AWS SigV4a protocol
An authorization library that supports access control models like ACL, RBAC, ABAC in Golang: https://discord.gg/S5UjpzGZjN
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
A curated list of awesome Go frameworks, libraries and software
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Prompt, run, edit, and deploy full-stack web applications. -- bolt.new -- Help Center: https://support.bolt.new/ -- Community Support: https://discord.com/invite/stackblitz
iFlow cli is a comprehensive command-line intelligence that embeds in your terminal, analyzes your repositories, does coding tasks, interprets your needs across contexts, and boosts efficiency by p…
AlibabaCloud CloudOps MCP Server
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
Build Real-Time Knowledge Graphs for AI Agents
AliCloud RAM Policy Editor for OSS
An automated unit test framework for JML-annotated Java projects.
Generic automation framework for acceptance testing and RPA
Fast, easy and reliable testing for anything that runs in a browser.
Dafny is a verification-aware programming language