Search Results for "find open source software"
Sort By:
10 projects for "find open source software" with 2 filters applied:
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Kodus
AI code reviews, just like your senior dev would do
Kodus-AI is a framework for building, training, and deploying intelligent agents and models, especially focusing on practical AI workflows for businesses and automation. It provides a structured set of tools and abstractions that help teams design agent behaviors, orchestrate data pipelines, optimize inference, and integrate AI capabilities with applications or services. The platform often includes model management, scalable training workflows, and orchestration patterns that help teams move... -
2
Kimi Code CLI
Kimi Code CLI is your next CLI agent
Kimi CLI is a command-line AI agent that brings an intelligent software development assistant directly into your terminal, helping you with coding tasks, shell operations, and workflow automation without leaving your command prompt. It supports an interactive shell-like user interface where you can chat with the agent, request code edits, run shell commands, and receive contextual suggestions as you work, creating a seamless blend of AI-augmented development and traditional terminal usage.... -
3
MiniMax-M2.1
MiniMax M2.1, a SOTA model for real-world dev & agents.
MiniMax-M2.1 is an open-source, state-of-the-art agentic language model released to democratize high-performance AI capabilities. It goes beyond a simple parameter upgrade, delivering major gains in coding, tool use, instruction following, and long-horizon planning. The model is designed to be transparent, controllable, and accessible, enabling developers to build autonomous systems without relying on closed platforms. -
4
BMad Method
Breakthrough Method for Agile Ai Driven Development
BMad Method is a comprehensive AI-driven software development framework that structures the entire lifecycle of building applications through coordinated agent workflows and agile methodologies. It transforms AI from a reactive assistant into a structured team of specialized roles such as product manager, architect, developer, and QA, each operating within predefined workflows. The system guides users through phases including analysis, planning, solution design, and implementation, ensuring... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
CoStrict
Strict AI coder for enterprises, quality first
CoStrict is an enterprise-focused, open-source AI coding assistant designed to standardize and elevate software development workflows through structured, high-quality automation. Unlike typical AI coding tools that prioritize speed over rigor, CoStrict introduces a “strict mode” methodology that enforces disciplined processes such as requirements analysis, architecture planning, task decomposition, and test generation before producing code. -
6
Sourcery AI Code Review
Instant AI code reviews
Sourcery is an AI-powered code assistant designed to help developers write cleaner, more maintainable Python code by suggesting real-time refactorings, improvements, and best-practice rewrites directly in popular editors and IDEs. Instead of just offering autocomplete, Sourcery analyzes existing functions and code patterns to provide context-aware suggestions that can simplify logic, reduce duplication, improve naming, and correct anti-patterns, helping developers adhere to idiomatic style... -
7
Oh My OpenAgent
The best agent harness
Oh My OpenAgent is a large-scale, open-source agent orchestration framework that aims to provide a fully unified and extensible environment for AI-powered software development and automation. It builds on the idea that no single model is sufficient, instead enabling coordinated use of multiple models for reasoning, creativity, speed, and cost efficiency within a single workflow. -
8
Qwen2.5-Coder
Qwen2.5-Coder is the code version of Qwen2.5, the large language model
Qwen2.5-Coder, developed by QwenLM, is an advanced open-source code generation model designed for developers seeking powerful and diverse coding capabilities. It includes multiple model sizes—ranging from 0.5B to 32B parameters—providing solutions for a wide array of coding needs. The model supports over 92 programming languages and offers exceptional performance in generating code, debugging, and mathematical problem-solving. Qwen2.5-Coder, with its long context length of 128K tokens, is... -
9
Visual Studio Code client for Tabnine
Visual Studio Code client for Tabnine
This extension is for Tabnine’s Starter (free), Pro and Enterprise SaaS users only. Tabnine Enterprise users with the self-hosted setup should use the Tabnine Enterprise extension in the VSCode Marketplace. Tabnine is an AI code assistant that makes you a better developer. Tabnine will increase your development velocity with real-time code completions, chat, and code generation in all the most popular coding languages and IDEs. Whether you call it IntelliSense, intelliCode, autocomplete,... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction...
- Previous
- You're on page 1
- Next
