22918 projects for "mining software linux" with 2 filters applied:

  • Paessler - Monitor Your Whole Network in Minutes Icon
    Paessler - Monitor Your Whole Network in Minutes

    Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

    Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
    Start Free 30-Day Trial
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Start Free
  • 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
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving 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.
    Download Now
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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
  • 9
    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
  • $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
    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
  • 11
    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
  • 12
    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
  • 13
    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
  • 14
    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
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    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
  • 19
    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
  • 20
    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
  • 21
    OpenSSL Project

    OpenSSL Project

    TLS/SSL and crypto library

    OpenSSL is a robust, commercial-grade, full-featured Open Source Toolkit for the TLS (formerly SSL), DTLS and QUIC (currently client-side only) protocols. The protocol implementations are based on a full-strength general-purpose cryptographic library, which can also be used stand-alone. Also included is a cryptographic module validated to conform with FIPS standards. OpenSSL is descended from the SSLeay library developed by Eric A. Young and Tim J. Hudson.
    Downloads: 154 This Week
    Last Update:
    See Project
  • 22
    Motia

    Motia

    Multi-Language Backend Framework that unifies APIs

    Motia is a large-scale, multi-language backend framework designed to unify and simplify core backend concerns — from APIs and background jobs to distributed workflows, streams, and advanced AI agent integration — through a single coherent primitive with built-in observability and state management. It provides a unified development philosophy that seamlessly bridges different backend patterns (queues, event streams, scheduled jobs) while offering integrated tools for telemetry, logging,...
    Downloads: 151 This Week
    Last Update:
    See Project
  • 23
    PhotoGIMP

    PhotoGIMP

    A Patch for GIMP 3+ for Photoshop Users

    PhotoGIMP is a popular patch for GIMP on Linux (particularly Flatpak installs) that remaps the UI, layout, and keyboard shortcuts to closely match Adobe Photoshop. It includes updated splash screen and icons, reorganizes tool palettes, applies familiar Photoshop hotkeys, and adds default settings and free fonts to ease the learning curve for Photoshop users transitioning to GIMP
    Downloads: 65 This Week
    Last Update:
    See Project
  • 24
    Cosmopolitan

    Cosmopolitan

    Build-once run-anywhere c library

    Cosmopolitan Libc makes C a build-once run-anywhere language, like Java, except it doesn't need an interpreter or virtual machine. Instead, it reconfigures stock GCC and Clang to output a POSIX-approved polyglot format that runs natively on Linux + Mac + Windows + FreeBSD + OpenBSD + NetBSD + BIOS with the best possible performance and the tiniest footprint imaginable. Cosmopolitan can be compiled from source on any Linux distro. GNU make needs to be installed beforehand. This is a...
    Downloads: 58 This Week
    Last Update:
    See Project
  • 25
    Hugo

    Hugo

    The world’s fastest framework for building websites

    Hugo is a popular, fast and flexible open source static site generator written in Go. It’s designed for speed and flexibility, while also being very easy to use. Hugo has the amazing ability to render a typical, moderately-sized website in just a fraction of a second. It takes Hugo around 1 millisecond to render each piece of content, making it the fastest tool of its kind. Hugo supports unlimited content types, and ships with pre-made templates to make SEO, analytics and many other...
    Downloads: 51 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next