Search Results for "mining software linux"
Sort By:
1040 projects for "mining software linux" with 2 filters applied:
-
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.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
v2flyNG
A V2Ray client for Android, support v2fly core
v2flyNG is a mobile client that packages the V2Ray/V2Fly networking core into an Android application with a touch-friendly UI. It focuses on making modern protocols—such as VMess, VLESS, and Trojan—accessible without requiring shell access or manual config editing. Profiles can be added via subscription links or QR codes, and the app merges and updates them on schedule to keep node lists fresh. Per-app proxy controls allow you to include or exclude specific applications, which is useful for... -
2
Flox
Developer environments you can take with you
Flox is a portable, reproducible developer-environment and package-management system that lets you compose and share per-project stacks across the full software lifecycle. Instead of snowflake machines, teams define environments that layer or replace dependencies exactly where needed, then activate the same environment locally, in CI, or on production hosts. The GitHub repo and docs present a developer-first UX, plus integrations such as a VS Code extension that makes activating and working... -
3
Photo Abstract Editorial
Codex Skill transforms a photograph into a vertically edited work
Photo Abstract Editorial is a Codex skill that transforms one photograph into a vertical editorial composition combining the original image, an abstract memory panel, and a poetic English title. The uploaded photograph remains the sole source of visual information. The photo itself is preserved rather than redrawn, filtered, extended, or stylistically transformed. A lower abstract panel reconstructs observed relationships such as scale, direction, spacing, rhythm, hierarchy, color, and... -
4
DNSHE
Stable & Free Subdomains for Developers
DNSHE-FreeDomains is an official DNSHE project for providing stable free subdomains to developers, automation workflows, and small web projects. It supports several curated domain suffixes intended for CI/CD, creative portfolios, technical documentation, development nodes, and personal landing pages. The service emphasizes stable subdomain use rather than short-lived disposable names. It includes Anycast DNS infrastructure, broad DNS record support, and an API-first management model for... -
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.
-
5
GC Build official builder images
Builder images and examples commonly used for Google Cloud Build
GC Build official builder images is a repository that provides a collection of prebuilt and customizable container images used with Google Cloud Build to automate CI/CD pipelines. These builder images act as modular steps within build pipelines, allowing developers to perform tasks such as compiling code, running tests, building Docker images, and deploying applications. The repository includes a wide range of builders for different languages, tools, and workflows, enabling flexible and... -
6
sdk-js
JavaScript / TypeScript SDK for building Astrid OS capsules
sdk-js is a JavaScript and TypeScript SDK for building Astrid capsules. It gives developers a way to create capsule binaries that match the same WIT contract, WASI P2 Component Model output, and archive format used by the Rust SDK. The project is designed so the Astrid runtime can treat capsules the same regardless of whether they were built in JavaScript, TypeScript, or Rust. Its developer experience is shaped around familiar JavaScript patterns such as Node-style file APIs, WHATWG... -
7
Antfarm
Build your agent team in OpenClaw with one command
Antfarm is an OpenClaw-focused agent team installer for creating coordinated AI development workflows. It gives users a predefined group of specialized agents such as planner, developer, verifier, tester, and reviewer. The project is designed to make multi-agent work more repeatable by giving each agent a clear role in the development process. It can be installed with a single command and does not require users to set up separate infrastructure. Antfarm is useful for builders who want a... -
8
Bulletproof React
A simple, scalable, and powerful architecture for building production
Bulletproof React is a best-practice template and architectural guideline for building scalable, maintainable, and production-ready React applications. It provides a well-structured project setup that emphasizes separation of concerns, modular design, and consistent coding standards. The project incorporates modern development patterns, including state management strategies, API integration, and testing frameworks, ensuring that applications are robust and easy to maintain. It also includes... -
9
Vue Bits
Open source collection of animated, interactive Vue components
Vue Bits is the official Vue.js counterpart to React-bits, offering a large and curated collection of animated, interactive, and customizable UI components specifically designed for the Vue ecosystem. Like its React equivalent, vue-bits includes a diverse set of components — such as animated text, dynamic backgrounds, and engaging interface elements — that help developers create rich and expressive web interfaces with ease. Each component is designed with customization in mind, allowing... -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
SyncKit
Local-first collaboration SDK for React, Vue, and Svelte
SyncKit is a modern self-hosted synchronization toolkit that lets users keep files, settings, and real-time state in sync across multiple devices securely and without relying on third-party cloud services. It provides bidirectional syncing, conflict detection and resolution, and selective folder sync, making it suitable for personal data, team projects, or distributed machines. The system operates over encrypted channels and supports peer-to-peer connections as well as optional relay servers... -
11
Amper
Build tool for the Kotlin and Java languages
Amper is an open-source data collection and metric reporting agent developed by JetBrains as part of their internal analytics and telemetry infrastructure for IntelliJ-based products. Its purpose is to gather usage statistics, performance metrics, error reports, and other diagnostic signals from IDE installations in a privacy-conscious way to help product teams understand real-world usage patterns and improve quality. Designed to be lightweight and efficient, Amper runs as a background... -
12
Mckay’s App Template
This is the template I use to start new full-stack projects
Mckay’s App Template is a full-stack starter template maintained by Mckay Wrigley, intended to help developers quickly bootstrap modern web applications without spending time on boilerplate setup. The template includes a frontend built with Next.js, Tailwind CSS, and often UI components/frameworks like Shadcn + Framer Motion; a backend stack using PostgreSQL, Supabase, and Drizzle ORM for database operations; authentication via Clerk; and optional payment integration using Stripe. By... -
13
Code::Blocks
A free C, C++ and Fortran IDE
Code::Blocks is a free, open-source, cross-platform C, C++ and Fortran IDE built to meet the most demanding needs of its users. It is designed to be very extensible and fully configurable. Finally, an IDE with all the features you need, having a consistent look, feel and operation across platforms. Built around a plugin framework, Code::Blocks can be extended with plugins. Any kind of functionality can be added by installing/coding a plugin. For instance, compiling and debugging... -
14
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
15
SCons
A software construction tool
SCons is a software construction tool that is a superior alternative to the classic "Make" build tool that we all know and love. SCons is implemented as a Python script and set of modules, and SCons "configuration files" are actually executed as Python scripts. This gives SCons many powerful capabilities not found in other software build tools. We make SCons available in three distinct packages, for different purposes. - The scons package is the basic package to install SCons. You... -
16
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
17
Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.
-
18
ADev
Lightweight Android development tool. Wraps Ant, 'android' and 'adb'.
A lightweight Android development tool. Wraps the Android SDK's Ant, 'android' and 'adb'. Create and build: Gradle, Flutter, Kotlin and Android Ant projects. Gradle, Flutter and Kotlin projects can use the latest Android SDK. Integrated Java Debug Wire Protocol debugger. Flutter debugger. - Runs on Windows, Linux, and Mac. - Supports Gradle: clean, assembleDebug, assembleRelease, ( uninstall and install handled by adb ) - Keystore generator for App Bundles. -... -
19
EPICS-sumo
A SUpport MOdule manager for EPICS
sumo, the SUpport MOdule manager, is a set of tools to support software development for the EPICS framework. It manages build dependencies and consistent builds of the EPICS support modules. -
20
ant4x
Hub for some ant projects
Hub for some ant projects (ant4hg, ant4git, ant4docbook, ...) to define common tools -
21
pyexpander
A powerful macro processor based on python
Pyexpander is a powerful macro processor based on python. Instead of simple macro replacement it offers evaluation of arbitrary python expressions and execution of python code. Pyexpander is Turing Complete. -
22
-
23
Druid is a GUI tool for database build and management. Users can add/change/delete DB objects (tables, fields, etc). Druid generates for you: SQL scripts, docs in XHTML, PDF, DocBook, etc; code in C, C++ & Java Beans even for JDO and support Castor & OJB
-
24
P2Ada is a Pascal to Ada translator. Recognizes particularities of several Pascal dialects: Turbo/Borland/Delphi (mostly), CodeWarrior, ISO, ISO Extended (a bit). Includes a full ayacc / aflex parser & lexer for Ada 95+ with sources. Mirror: https://github.com/zertovitch/pascal-to-ada
-
25
Gobisoft
Software auto-installation builder
Gobisoft is a batch package builder for applications, it builds a self-install package of your programs. Creates a stand alone executable file that performs the (secured installation and removing) of the elements necessary to distribute your applications. The software offers many possibilities, such as executing commands before and after installation.
