29180 projects for "mining software linux" with 1 filter applied:

  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Start Free
  • Endpoint Management with Remote Control Built In Icon
    Endpoint Management with Remote Control Built In

    Patch, monitor, and connect to Windows and macOS devices from one console

    Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
    Start Free Trial
  • 1
    Linux Command Library (Mobile+CLI+Web)

    Linux Command Library (Mobile+CLI+Web)

    1M downloads Linux reference app with basics, tips and formatted pages

    The app currently has 5547 manual pages, 22+ basic categories and a bunch of general terminal tips. It works 100% offline, doesn't need an internet connection and has no tracking software.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 2
    linux-wasm

    linux-wasm

    WebAssembly (Wasm) arch support for the Linux kernel

    linux-wasm is an experimental project that ports the Linux kernel to run directly as a WebAssembly module, enabling a full Linux environment to boot and operate entirely inside a web browser without virtualization or cloud infrastructure. Instead of emulating Linux through a virtual machine, this project compiles the actual kernel for a WebAssembly target, allowing it to execute natively within a Wasm runtime. The system includes essential userland tools provided by BusyBox along with a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Holochain

    Holochain

    The current, performant & industrial strength version of Holochain

    Holochain is a post-blockchain framework for building agent-centric, distributed applications. Instead of using global consensus, Holochain enables each agent (user) to maintain their own local state while validating actions with a shared set of rules. This allows for scalable, secure, and resilient apps where data is owned and controlled by users. Ideal for social apps, cooperatives, and data sovereignty platforms, Holochain focuses on enabling collaboration without central servers or...
    Downloads: 38 This Week
    Last Update:
    See Project
  • 4
    Scrapy

    Scrapy

    A fast, high-level web crawling and web scraping framework

    Scrapy is a fast, open source, high-level framework for crawling websites and extracting structured data from these websites. Portable and written in Python, it can run on Windows, Linux, macOS and BSD. Scrapy is powerful, fast and simple, and also easily extensible. Simply write the rules to extract the data, and add new functionality if you wish without having to touch the core. Scrapy does the rest, and can be used in a number of applications. It can be used for data mining, monitoring and automated testing.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Start Free
  • 5
    Flash Linux 0.11 Talk

    Flash Linux 0.11 Talk

    Annotated Unix system source code

    flash-linux0.11-talk is an annotated walkthrough of the Linux 0.11 kernel that explains how a tiny Unix-like system boots, schedules, handles interrupts, and manages memory. The materials break down historically compact and dense code into digestible segments, with diagrams and call flows that trace execution from bootloader to user space. By focusing on a small, early kernel, the series reveals core OS concepts without the complexity of modern subsystems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Intel(R) RDT Software Package

    Intel(R) RDT Software Package

    User space software for Intel(R) Resource Director Technology

    Intel CMT CAT is a user-space software package providing support for Intel's Resource Director Technology (RDT). It offers tools and libraries to monitor and control cache allocation and memory bandwidth.​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to...
    Downloads: 1,713 This Week
    Last Update:
    See Project
  • 8
    Botcraft

    Botcraft

    Botcraft is a cross-platform C++ library to create bots

    Botcraft is an advanced Minecraft bot framework that provides a full client implementation in Node.js, enabling bots to join Minecraft servers, interact with the world, and perform tasks like mining, fighting, and building. It leverages the mineflayer ecosystem to provide a highly programmable interface for automation and AI experimentation in Minecraft. Botcraft is particularly useful for AI researchers, game modders, and automation enthusiasts who want to explore pathfinding, environment...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Apache Sedona

    Apache Sedona

    Cluster computing framework for processing large-scale geospatial data

    Apache Sedona™ is a cluster computing system for processing large-scale spatial data. Sedona extends existing cluster computing systems, such as Apache Spark and Apache Flink, with a set of out-of-the-box distributed Spatial Datasets and Spatial SQL that efficiently load, process, and analyze large-scale spatial data across machines. According to our benchmark and third-party research papers, Sedona runs 2X - 10X faster than other Spark-based geospatial data systems on computation-intensive...
    Downloads: 2 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put 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.
    Start Free
  • 10
    Pactus

    Pactus

    A full-node implementation of the Pactus blockchain in Go

    ...The project implements the core node, consensus, networking, wallet, storage, synchronization, transaction pool, state, and validation logic needed to run the blockchain. Pactus uses a Solid State Proof of Stake design that aims to avoid mining and make validation practical on lightweight hardware. The software can be built from source and used through command-line, graphical, Docker, and developer-oriented workflows. It is useful for validators, blockchain developers, researchers, and users who want to study or participate in the Pactus network from their own infrastructure.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    CMake

    CMake

    Cross-platform tool to build, test and package software

    CMake is an open-source, cross-platform family of tools designed to build, test and package software. CMake is used to control the software compilation process using simple platform and compiler independent configuration files, and generate native makefiles and workspaces that can be used in the compiler environment of your choice. The suite of CMake tools were created by Kitware in response to the need for a powerful, cross-platform build environment for open-source projects such as ITK and...
    Downloads: 188 This Week
    Last Update:
    See Project
  • 12
    Blooket Cheats

    Blooket Cheats

    05k0nz's legacy is safe

    Blooket-Cheats is a repository containing scripts and a small web interface for Blooket game modifications. It organizes cheat scripts by game mode and provides methods for loading them through bookmarklets, a GitHub Pages interface, or browser console execution. The repository includes folders for cheats, tutorials, auto-update logic, page styling, and front-end code. From a software perspective, it is a browser-script collection focused on manipulating a web game environment. However,...
    Downloads: 1,872 This Week
    Last Update:
    See Project
  • 13
    Apache NetBeans

    Apache NetBeans

    Apache NetBeans

    Apache NetBeans is much more than a text editor. It highlights source code syntactically and semantically, lets you easily refactor code, with a range of handy and powerful tools. Apache NetBeans provides editors, wizards, and templates to help you create applications in Java, PHP and many other languages. Apache NetBeans can be installed on all operating systems that support Java, i.e, Windows, Linux, Mac OSX and BSD. Write Once, Run Anywhere, applies to NetBeans too.
    Downloads: 150 This Week
    Last Update:
    See Project
  • 14
    Kreuzberg

    Kreuzberg

    Polyglot document intelligence framework

    Kreuzberg is a flexible task orchestration and agent workflow platform designed to help developers build, coordinate, and scale intelligent agents or automation pipelines that interact with external services, runtime environments, and multi-step business workflows. It emphasizes modular design so that developers can define discrete tasks or “actions” and then compose them into complex flows where dependencies, parallel steps, and error handling are declaratively managed. This structure makes...
    Downloads: 288 This Week
    Last Update:
    See Project
  • 15
    OpenCorePkg

    OpenCorePkg

    OpenCore bootloader

    OpenCorePkg is an open-source, modular UEFI (Unified Extensible Firmware Interface) bootloader and development framework, primarily designed to enable macOS booting on non-Apple hardware (Hackintosh). It includes Apple-specific UEFI drivers, utilities for macOS installation support, and shared libraries used across Acidanthera projects. Apple disk image loading support. Apple keyboard input aggregation. Apple PE image signature verification. Apple UEFI secure boot supplemental code. Audio...
    Downloads: 317 This Week
    Last Update:
    See Project
  • 16
    AppSync

    AppSync

    Unified AppSync dynamic library for iOS 5 and above

    AppSync is a tool that enables sideloading and installation of unsigned iOS applications. It allows developers and users to install apps without requiring a paid Apple Developer account.
    Downloads: 183 This Week
    Last Update:
    See Project
  • 17
    Rekado

    Rekado

    Payload launcher and serial number checker for Nintendo Switch

    Payload launcher is written in Kotlin for Nintendo Switch. The application doesn't require Root on your device.
    Downloads: 109 This Week
    Last Update:
    See Project
  • 18
    OOO Extras

    OOO Extras

    Extra tools for OpenOffice under weak copyleft or other licenses

    A space to store classic OOo dependencies that cannot be easily redistributed in Apache OpenOffice's Source tree. Initially this was meant for copyleft tarballs only but it is also pretty handy to mirror other file dependencies.
    Downloads: 199 This Week
    Last Update:
    See Project
  • 19
    Electron

    Electron

    Build cross-platform desktop apps with JavaScript, HTML, and CSS

    Electron is an open-source framework that uses Node.js runtime and the Chromium web browser thereby allowing you to build apps with JavaScript, HTML, and CSS. It is compatible with Mac, Windows and Linux and comes with convenient features such as automatic updates, app crash reporting, debugging and profiling and more. It takes care of the hard parts so you can focus on the core of your app. Initially developed for the Atom editor, Electron is now the framework of choice for dozens of...
    Downloads: 132 This Week
    Last Update:
    See Project
  • 20
    SikuliX

    SikuliX

    Now continued as OculiX — see oculix.org

    SikuliX is now continued as OculiX at https://oculix.org. The active development,,releases, documentation and community have moved there. SikuliX (and now OculiX) automates anything you see on the screen of your desktop computer. Running Windows, Mac or some Linux/Unix. It uses image recognition powered by OpenCV to identify GUI components and can act on them with mouse and keyboard actions. This is handy in cases when there is no easy access to a GUI's internals or the source...
    Downloads: 41 This Week
    Last Update:
    See Project
  • 21
    Sliver

    Sliver

    Adversary Emulation Framework

    Sliver is an open source cross-platform adversary emulation/red team framework, it can be used by organizations of all sizes to perform security testing. Sliver's implants support C2 over Mutual TLS (mTLS), WireGuard, HTTP(S), and DNS and are dynamically compiled with per-binary asymmetric encryption keys. The server and client support MacOS, Windows, and Linux. Implants are supported on MacOS, Windows, and Linux (and possibly every Golang compiler target but we've not tested them all).
    Downloads: 120 This Week
    Last Update:
    See Project
  • 22
    ProM is the comprehensive, extensible framework for process mining. Process Mining deals with the a-posteriori analysis of (business) processes using enactment logs.
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 23
    Effekseer

    Effekseer

    This software is a particle effect editing tool

    Effekseer is an open-source tool designed for creating stunning visual effects for games and multimedia applications. It allows artists and developers to design complex particle effects through an intuitive graphical user interface, supporting various features like particles, beams, and distortion effects. Effekseer supports multiple platforms and integrates seamlessly with popular game engines, enabling the creation of rich visual experiences without extensive programming knowledge.
    Downloads: 89 This Week
    Last Update:
    See Project
  • 24
    DB Browser for SQLite

    DB Browser for SQLite

    The DB Browser for SQLite

    DB Browser for SQLite (DB4S) is a high quality, visual, open source tool to create, design, and edit database files compatible with SQLite. DB4S is for users and developers who want to create, search, and edit databases. DB4S uses a familiar spreadsheet-like interface, and complicated SQL commands do not have to be learned. This program is not a visual shell for the sqlite command line tool, and does not require familiarity with SQL commands. It is a tool to be used by both developers and...
    Downloads: 194 This Week
    Last Update:
    See Project
  • 25
    FMHY

    FMHY

    The largest collection of free stuff on the internet

    FMHY is a large, community-driven open-source repository that functions as a curated directory of free online resources, tools, and platforms across a wide range of categories including media, software, education, and development. Rather than being a traditional software application, it acts as a structured knowledge base that organizes thousands of links into easily navigable sections such as movies, music, books, games, and developer tools. The project emphasizes accessibility and...
    Downloads: 142 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next