Search Results for "mining software linux"
Sort By:
24 projects for "mining software linux" with 2 filters applied:
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
Bolt.new
Prompt, run, edit, and deploy full-stack web applications
Bolt.new is an AI-powered full-stack development platform created by StackBlitz that enables users to build, run, edit, and deploy complete web applications directly from the browser without requiring any local setup or traditional development environment. It operates as an intelligent coding agent where users describe what they want to build in natural language, and the system generates functional applications, including frontend, backend, and infrastructure components. The platform is... -
2
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... -
3
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... -
4
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... -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
5
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. The system is designed as a comprehensive agent harness where tasks are automatically decomposed, delegated, and... -
6
Open SWE
Open source async coding agent that plans, codes, and opens PRs
Open SWE is an open source asynchronous coding agent designed to automate software engineering workflows across entire repositories. Built with LangGraph, it can understand a codebase, generate a structured plan, and execute code changes from start to finish without constant human intervention. It operates in a cloud-based environment where tasks are processed asynchronously, allowing multiple coding jobs to run in parallel in isolated sandboxes. It integrates directly with development... -
7
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. MiniMax-M2.1 excels in real-world software engineering tasks, including... -
8
Ornith-1.0
Ornith-1.0 is a self-improving open-source models for agentic coding
Ornith-1 is an open-source family of agentic coding models from DeepReinforce AI. It is designed for coding agents that need to solve software engineering tasks through iterative tool use and solution rollouts. The project presents 9B dense, 31B dense, 35B mixture-of-experts, and 397B mixture-of-experts variants. These models are post-trained on top of Gemma 4 and Qwen 3.5 foundations. Its training approach uses reinforcement learning to optimize both the solution and the scaffold that... -
9
Loop Engineering
Practical patterns, starters & CLI tools for loop engineering with AI
Loop Engineering is a practical reference repository for designing loop-based workflows with AI coding agents. It focuses on replacing repeated manual prompting with systems that prompt, verify, schedule, and hand off work over time. The project is aimed at developers using tools such as Grok, Claude Code, Codex, Cursor, and other coding agents. It explains core building blocks such as scheduling, worktrees, skills, plugins, connectors, sub-agents, and persistent memory or state. The... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
security-audit
A coding-agent skill for multi-phase security audits
security-audit is a coding-agent skill for running structured security audits on software repositories. It organizes the audit into multiple phases so the agent does not simply search randomly for vulnerabilities. The workflow begins with reconnaissance, then moves into parallel hunting across attack classes such as injection, access control, business logic, cryptography, feature abuse, and chained attacks. Findings are then challenged through separate validation agents to reduce false... -
11
Compound Engineering
Official Compound Engineering plugin for Claude Code, Codex, Cursor
The Compound Engineering plugin project is an AI-driven workflow system designed to improve software development by turning each unit of work into a reusable and compounding asset. It provides a structured set of commands and agents that guide developers through stages such as brainstorming, planning, execution, review, and knowledge capture. The core philosophy is to reduce technical debt by emphasizing thorough planning and continuous learning, ensuring that each iteration improves future... -
12
Expect
Let agents test your code in a real browser
Expect is a developer-focused utility designed to simplify validation, testing, and assertion workflows across software environments by providing a clean and expressive interface for defining expected outcomes. The project likely centers on improving readability and maintainability in testing scenarios, allowing developers to write expectations in a concise and human-readable format. It may support chaining conditions, enabling complex validation logic without introducing unnecessary... -
13
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.... -
14
fireworks-tech-graph
Claude Code skill for generating production-quality SVG+PNG technical
fireworks-tech-graph is an AI-driven project focused on building structured knowledge graphs that map relationships between technologies, concepts, and entities within technical domains. It aims to transform unstructured information into interconnected graphs that can be queried and analyzed for insights, making it easier to understand complex ecosystems such as software stacks or research fields. The system likely leverages AI techniques for entity extraction, relationship mapping, and... -
15
LazyCodex
The one and only agent harness for complex codebases
LazyCodex is an agent harness for using Codex on complex software projects. It is designed to add structure around AI coding sessions through memory, planning, execution, verification, skills, hooks, routing, and diagnostics. The project helps developers move beyond one-off prompts by giving the agent a more organized workflow inside a codebase. It supports project memory so context can persist across sessions and decisions do not need to be repeatedly reintroduced. LazyCodex also emphasizes... -
16
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. This makes it particularly suitable for... -
17
Fulling
Full-stack Engineer Agent. Built with Next.js, Claude, shadcn/ui
...The platform provides a sandboxed workspace where developers can build complete applications with the help of an integrated AI coding agent. Instead of manually configuring development environments, the system automatically provisions the required infrastructure including a Linux environment, database services, and development tools. It integrates an AI pair programmer that can generate code, implement features, and assist with debugging tasks through natural language instructions. The environment also includes web-based terminals, file management tools, and version control capabilities to support collaborative software development workflows. ... -
18
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... -
19
Adaptive Intelligence
Adaptive Intelligence also known as "Artificial General Intelligence"
Adaptive Intelligence is the implementation of neural science, forensic psychology , behavioral science with machine-learning and artificial intelligence to provide advanced automated software platforms with the ability to adjust and thrive in dynamic environments by combining cognitive flexibility, emotional regulation, resilience, and practical problem-solving skills. -
20
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,... -
21
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... -
22
lastest
AI-supported visual verification and tests you can actually trust.
Lastest.cloud is a free, open-source verification of development, self-hosted visual regression and end-to-end testing platform for web applications. An AI agent records you clicking through your running app and generates Playwright tests with multi-selector fallback. Replays are deterministic and token-free, so your CI/CD bill doesn't scale with your test suite. Lastest ships three diff engines side-by-side — pixel (pixelmatch), structural (SSIM), and perceptual (Butteraugli) — so... -
23
LongCat-2.0
Trillion-parameter MoE model for coding and million-token reasoning
LongCat-2.0 is Meituan’s flagship open-weight Mixture-of-Experts language model designed for frontier-scale coding, reasoning, and autonomous agent workflows. It features 1.6 trillion total parameters with approximately 48 billion activated per token, combining high capability with efficient sparse inference. The model was pretrained on more than 35 trillion tokens and trained entirely on a large-scale cluster of domestically developed AI accelerators, demonstrating stable frontier-scale... -
24
Kimi K2.7 Code
Coding-focused Kimi model for long-horizon agent workflows
Kimi K2.7 Code is a coding-focused agentic model built on Kimi K2.6, designed for long-horizon software engineering, autonomous coding workflows, and complex tool-based execution. It improves end-to-end task completion across real-world programming scenarios while reducing thinking-token usage by about 30% compared with K2.6. Architecturally, it uses a 1T-parameter Mixture-of-Experts design with 32B activated parameters, 61 layers, 384 experts, a 256K-token context window, and a MoonViT...
- Previous
- You're on page 1
- Next
