Search Results for "mining software linux"
Sort By:
Showing 49 open source projects for "mining software linux"
View related business solutions-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
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.
-
1
Phonon
Phonon TTS inference using xn
Phonon TTS is an open-source text-to-speech inference engine that generates natural-sounding speech locally on computers, mobile devices, and web browsers. Built in Rust, it operates without PyTorch or a cloud connection after downloading its models. The software provides compact 31-million and 40-million parameter models for efficient deployment. It supports English, French, German, Spanish, and Portuguese speech synthesis. Users can select predefined voices, create custom voices, or clone... -
2
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... -
3
AlphaFold 3
AlphaFold 3 inference pipeline
AlphaFold 3, developed by Google DeepMind, is an advanced deep learning system for predicting biomolecular structures and interactions with exceptional accuracy. This repository provides the complete inference pipeline for running AlphaFold 3, though access to the model parameters is restricted and must be obtained directly from Google under specific terms of use. The system is designed for scientific research applications in structural biology, biochemistry, and bioinformatics, enabling... -
4
GLM-5.1
GLM-5: From Vibe Coding to Agentic Engineering
GLM-5.1 is a next-generation large language model developed by Z.ai for advanced coding, reasoning, and long-horizon agentic engineering tasks. Built as the successor to GLM-5, the model significantly improves performance in software engineering benchmarks, repository generation, and real-world terminal-based workflows. GLM-5.1 is designed to remain effective over extended problem-solving sessions, allowing it to iteratively refine strategies, analyze failures, and sustain productivity... -
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.
-
5
DSH Web UI
Plugin and skin collection for DeepSeek Harness (DSH) Web UI
DSH Web UI is a modular plugin and skin collection that expands the DeepSeek Harness browser interface into a broader development workspace. Its components attach through the official DSH profile mechanism without modifying the Harness source code. Users can add a task board that executes real agent sessions and supports scheduled jobs through cron expressions. A Git graph visualizes branches and commit history, while additional panels provide files, editing, terminals, Git operations, and... -
6
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... -
7
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... -
8
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... -
9
Stable Diffusion Web UI Extensions
Extension index for stable-diffusion-webui
This repository serves as the official index used by the Stable Diffusion Web UI to discover and install extensions. It aggregates metadata for hundreds of community plugins—image utilities, ControlNet tools, upscalers, prompt helpers, animation suites—so users can browse and add capabilities directly from the UI. The index maintains short descriptions, tags, and repository links, enabling quick filtering by purpose or workflow. It also standardizes submission format so extension authors can... -
Patching and Endpoint Management for Under $1/EndpointSplashtop AEM gives IT teams automated patching, monitoring, and unattended remote access for Windows and macOS. No long setup, no paying extra for key features.
-
10
ESP32 iPhone Agent
Let an AI model use a real iPhone with a $7 ESP32
ESP32 iPhone Agent is an open-source hardware and software project that enables AI models to interact with a physical iPhone using an inexpensive ESP32-S3 microcontroller. It combines AirPlay screen mirroring with USB Human Interface Device emulation to provide an AI agent with visual feedback and physical input capabilities. The ESP32-S3 receives the phone's screen stream and relays visual information to an iPhone application for AI analysis. Compatible vision models interpret screenshots... -
11
UCO3D
Uncommon Objects in 3D dataset
uCO3D is a large-scale 3D vision dataset and toolkit centered on turn-table videos of everyday objects drawn from the LVIS taxonomy. It provides about 170,000 full videos per object instance rather than still frames, along with per-video annotations including object masks, calibrated camera poses, and multiple flavors of point clouds. Each sequence also ships with a precomputed 3D Gaussian Splat reconstruction, enabling fast, differentiable rendering workflows and modern implicit/point-based... -
12
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... -
13
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.... -
14
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... -
15
CO3D (Common Objects in 3D)
Tooling for the Common Objects In 3D dataset
CO3Dv2 (Common Objects in 3D, version 2) is a large-scale 3D computer vision dataset and toolkit from Facebook Research designed for training and evaluating category-level 3D reconstruction methods using real-world data. It builds upon the original CO3Dv1 dataset, expanding both scale and quality—featuring 2× more sequences and 4× more frames, with improved image fidelity, more accurate segmentation masks, and enhanced annotations for object-centric 3D reconstruction. CO3Dv2 enables research... -
16
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... -
17
TN 365 Maia 2026 et Mint-KDE
Distribution TN 365 KDE moderne et stable !
🇫🇷 TechNews365 OS Essentials – Édition KDE / (Base KDE Néon ou Mint-KDE) 2 ISO pour 2 environnements différents ! TechNews365 OS Essentials est une distribution Linux moderne, rapide et légère, basée sur KDE Néon et Mint-KDE . Elle offre une expérience simple, propre et optimisée pour le quotidien : KDE optimisé TN365 Thème Maia Transparent et icônes personnalisés Applications Essentielles incluse Radios, jeux légers, outils multimédia Calamares (installation... -
18
CycleGAN
Software that can generate photos from paintings
CycleGAN — in its original form — is a landmark in deep learning for image-to-image translation without paired data. Rather than requiring matching image pairs between source and target domains (which are often hard or impossible to obtain), CycleGAN learns two mappings — one from domain A to B, and another back from B to A — along with a cycle-consistency loss that encourages the round-trip to reconstruct the original image. This innovation lets the model learn domain-to-domain translations... -
19
DCGAN.torch
Train your own image generator
DCGAN.torch is an open-source implementation of Deep Convolutional Generative Adversarial Networks using the Torch7 machine learning framework. It allows developers to train image generators that create synthetic pictures from random latent vectors. The project follows the architecture introduced in the DCGAN research paper and includes configurable generator and discriminator networks. Users can train models with CelebA, LSUN, ImageNet, or custom image datasets. Pretrained generators... -
20
DeepSeek-V4.1-Flash-1017
Open-weight multimodal AI model developed by DeepSeek
DeepSeek-V4.1-Flash-1017 is an open-weight multimodal AI model developed by DeepSeek, designed for advanced reasoning, coding, agentic workflows, and visual understanding. As an updated version of DeepSeek-V4.1-Flash, it delivers improved performance across complex problem-solving, software engineering, autonomous task execution, and image-based reasoning. The model features 763 billion parameters and supports a context window of up to 1 million tokens, enabling it to process extensive... -
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
DeepSeek-V4.1-Flash
Multimodal Mixture-of-Experts model with 552B backbone parameters
DeepSeek-V4.1-Flash is an open-weight multimodal AI model developed by DeepSeek, designed for advanced reasoning, software engineering, agentic workflows, and long-context processing. Built on a Mixture-of-Experts (MoE) architecture with 763 billion total parameters, including a 552-billion-parameter backbone, the model combines high-performance intelligence with efficient inference through selective parameter activation. It supports a context window of up to 1 million tokens, enabling... -
23
Ornith-1.0
Open reasoning model for agentic coding and tool workflows
Ornith-1.0 is a large open-source reasoning model from DeepReinforce, built for agentic coding, tool use, and complex software engineering workflows. It is part of the Ornith 1.0 family, which includes dense and MoE models post-trained on Gemma 4 and Qwen 3.5. The model focuses on coding-agent performance across benchmarks such as Terminal-Bench, SWE-Bench, NL2Repo, OpenClaw, and ClawEval. Its training uses a self-improving reinforcement learning framework that optimizes not only solution... -
24
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... -
25
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...
