Search Results for "mining software linux"
Sort By:
35 projects for "mining software linux" with 2 filters applied:
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
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.
-
1
GLM-5
From Vibe Coding to Agentic Engineering
GLM-5 is a next-generation open-source large language model (LLM) developed by the Z .ai team under the zai-org organization that pushes the boundaries of reasoning, coding, and long-horizon agentic intelligence. Building on earlier GLM series models, GLM-5 dramatically scales the parameter count (to roughly 744 billion) and expands pre-training data to significantly improve performance on complex tasks such as multi-step reasoning, software engineering workflows, and agent orchestration... -
2
Qwen3.6
Qwen3.6 is the large language model series developed by Qwen team
The Qwen3.6 project is an open-source large language model series developed by Alibaba’s Qwen team, designed to deliver high-performance AI capabilities with a strong emphasis on real-world usability and developer productivity. It builds upon the advancements introduced in Qwen3.5, focusing on improving stability, responsiveness, and practical application in coding and agent-based workflows. The repository serves as a central hub for documentation, community discussion, and access to the... -
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. MiniMax-M2.1 excels in real-world software engineering tasks, including... -
4
IQuest-Coder-V1 Model Family
New family of code large language models (LLMs)
IQuest-Coder-V1 is a cutting-edge family of open-source large language models specifically engineered for code generation, deep code understanding, and autonomous software engineering tasks. These models range from tens of billions to smaller footprints and are trained on a novel code-flow multi-stage paradigm that captures how real software evolves over time — not just static code snapshots — giving them a deeper semantic understanding of programming logic. They support native long contexts... -
One Monitoring Tool for IT, OT and Cloud | Free TrialModern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
-
5
FlashMLA
FlashMLA: Efficient Multi-head Latent Attention Kernels
FlashMLA is a high-performance decoding kernel library designed especially for Multi-Head Latent Attention (MLA) workloads, targeting NVIDIA Hopper GPU architectures. It provides optimized kernels for MLA decoding, including support for variable-length sequences, helping reduce latency and increase throughput in model inference systems using that attention style. The library supports both BF16 and FP16 data types, and includes a paged KV cache implementation with a block size of 64 to... -
6
Granite Code Models
A Family of Open Foundation Models for Code Intelligence
Granite Code Models are IBM’s open-source, decoder-only models tailored for code tasks such as fixing bugs, explaining and documenting code, and modernizing codebases. Trained on code from 116 programming languages, the family targets strong performance across diverse benchmarks while remaining accessible to the community. The repository introduces the model lineup, intended uses, and evaluation highlights, and it complements IBM’s broader Granite initiative spanning multiple modalities.... -
7
MiniMax-M1
Open-weight, large-scale hybrid-attention reasoning model
MiniMax-M1 is presented as the world’s first open-weight, large-scale hybrid-attention reasoning model, designed to push the frontier of long-context, tool-using, and deeply “thinking” language models. It is built on the MiniMax-Text-01 foundation and keeps the same massive parameter budget, but reworks the attention and training setup for better reasoning and test-time compute scaling. Architecturally, it combines Mixture-of-Experts layers with lightning attention, enabling the model to... -
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
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... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Mistral Small 4
Model that fuses instruct, reasoning and agentic skills
The Mistral Small 4 collection is a set of open-weight large language models developed by Mistral AI that aim to unify multiple capabilities, including instruction following, reasoning, and coding, within a single efficient architecture. These models are part of the broader Mistral Small family, which is designed to deliver strong performance across a wide range of everyday AI tasks while maintaining relatively low latency and efficient deployment requirements. The collection reflects an... -
11
Laguna M.1
Flagship Poolside model for agentic coding and software engineering
Laguna M.1 is Poolside’s flagship Mixture-of-Experts model built specifically for agentic coding, software engineering, and long-horizon autonomous workflows. It contains approximately 225.8B total parameters with 23.4B activated per token, making it substantially larger and more capable than Laguna XS.2 while maintaining efficient inference through sparse activation. Trained from scratch on roughly 30 trillion tokens using Poolside’s in-house “Model Factory” pipeline, the model focuses on... -
12
Hy3
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token... -
13
Leanstral 1.5
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token... -
14
MiniMax-M2.7
Self-evolving AI model for agents, coding, and complex workflows
MiniMax-M2.7 is a large-scale open-weight language model designed for advanced agent-based workflows, professional software engineering, and complex productivity tasks. With 229B parameters, it introduces a self-evolution framework in which the model actively improves its own capabilities by updating memory, generating skills, and iterating through reinforcement learning experiments. This process enables it to autonomously refine systems, achieving measurable performance gains such as a 30%... -
15
Devstral Small 2
Lightweight 24B agentic coding model with vision and long context
Devstral Small 2 is a compact agentic language model designed for software engineering workflows, excelling at tool usage, codebase exploration, and multi-file editing. With 24B parameters and FP8 instruct tuning, it delivers strong instruction following while remaining lightweight enough for local and on-device deployment. The model achieves competitive performance on SWE-bench, validating its effectiveness for real-world coding and automation tasks. It introduces vision capabilities,... -
16
Hy4 preview
770B MoE model for coding, research, reasoning, and long-context work
Hy4 preview is Tencent’s open-weight flagship Mixture-of-Experts language model designed for advanced reasoning, software engineering, productivity, scientific research, and long-horizon tasks. It contains 770B backbone parameters while activating 49B per token across 78 layers, with 256 routed experts and one shared expert in each MoE layer. Its architecture uses Gated DeepSeek Sparse Attention with IndexCache for cross-layer sparse-index reuse and identity Hyper-Connections to improve... -
17
Laguna XS.2
Open agentic coding model optimized for local deployment
Laguna XS.2 is Poolside’s first open-weight Mixture-of-Experts model designed specifically for agentic coding and long-horizon software engineering tasks. The model contains 33B total parameters with only 3B activated per token, allowing it to deliver strong coding performance while remaining efficient enough to run locally on modern consumer hardware. It uses a hybrid attention architecture that combines Sliding Window Attention and global attention layers, reducing memory requirements and... -
18
Devstral 2
Agentic 123B coding model optimized for large-scale engineering
Devstral 2 is a large-scale agentic language model purpose-built for software engineering tasks, excelling at codebase exploration, multi-file editing, and tool-driven automation. With 123B parameters and FP8 instruct tuning, it delivers strong instruction following for chat-based workflows, coding assistants, and autonomous developer agents. The model demonstrates outstanding performance on SWE-bench, validating its effectiveness in real-world engineering scenarios. It generalizes well... -
19
Recursive Flint
Efficient 40B MoE model for autonomous coding and software agents
Recursive Flint is an open-weight Mixture-of-Experts language model developed by Recursive for autonomous coding agents and software engineering. It contains 39.8B total parameters with approximately 2.5B activated per token, combining 49 Transformer layers with 256 routed experts per MoE layer. Its hybrid attention architecture uses 35 sliding-window layers and 14 full-attention layers, supporting a 262K-token context window. Flint is designed to investigate repositories, fix bugs,... -
20
Qwable-v1
Agentic coding model combining Opus reasoning and Fable tools
Qwable-v1 is an open-weight agentic coding model created through a chained distillation process based on Qwen3.6-35B-A3B. The model combines two distinct training stages: first, it was fine-tuned on reasoning traces derived from Claude Opus 4.7 to improve structured reasoning, and then further trained on Claude Fable-5 agentic tool-use traces to develop autonomous coding and tool-calling behavior. The result is a 35B Mixture-of-Experts model with only 3B active parameters that can switch... -
21
Hy3 preview
Efficient MoE model for reasoning, coding, and AI agent workflows
Hy3 preview is Tencent Hunyuan’s latest open-weight Mixture-of-Experts language model, designed for advanced reasoning, coding, instruction following, and autonomous agent workflows. It is the first model built on Tencent’s rebuilt training infrastructure and introduces significant improvements in context learning, software engineering, and tool-based task execution. The model features 295B total parameters with only 21B activated during inference, plus a dedicated 3.8B Multi-Token... -
22
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... -
23
Qwen3.6-27B
Dense multimodal Qwen model for coding, agents, and long context
Qwen3.6-27B is an open-weight multimodal model built to deliver strong real-world coding, agent, and long-context performance in a dense 27B-parameter architecture. It combines a causal language model with a vision encoder and supports text, image, and video inputs, making it suitable for both software workflows and broader multimodal tasks. The model emphasizes stability and practical developer utility, with major improvements in agentic coding, frontend generation, and repository-level... -
24
Kimi K2.6
Multimodal agent model for coding, orchestration, and autonomy
Kimi K2.6 is an open-source native multimodal agentic model built for advanced autonomous execution, long-horizon coding, and large-scale task orchestration. It is designed to handle complex end-to-end software workflows across multiple languages and domains, including front-end development, DevOps, performance optimization, and coding-driven design. Beyond coding, it can transform prompts and visual inputs into production-ready interfaces and lightweight full-stack outputs with structured... -
25
Mistral Large 4
1T multimodal MoE model for reasoning, coding, and autonomous agents
Mistral Large 4 1T-A52B is Mistral AI's flagship open-weight multimodal Mixture-of-Experts model, designed for advanced reasoning, coding, visual understanding, and autonomous agents. It contains approximately one trillion total parameters, with 49B active per token in its backbone and 52B including embeddings and output layers. Its architecture uses 128 routed experts, four active per token, and one shared expert. The model supports a one-million-token context window and accepts text and...
