Search Results for "mining software linux"
Sort By:
21315 projects for "mining software linux" with 1 filter applied:
-
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.
-
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.
-
1
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. -
2
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... -
3
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... -
4
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. -
$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.
-
5
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. -
6
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... -
7
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... -
8
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... -
9
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. -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
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,... -
11
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. -
12
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... -
13
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... -
14
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. -
15
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. -
16
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... -
17
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). -
18
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. -
19
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... -
20
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. -
21
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,... -
22
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 -
23
NeuralNote
Audio Plugin for Audio to MIDI transcription using deep learning
NeuralNote is an open-source audio software tool designed to convert recorded audio into MIDI data using modern machine learning techniques. The software functions as an audio plugin that can be used inside digital audio workstations as well as a standalone application for music production and analysis. Its main purpose is to perform audio-to-MIDI transcription, allowing musicians to record a performance and automatically transform it into editable MIDI notes. NeuralNote supports polyphonic... -
24
drawio-desktop
Security-first diagramming for teams
...Works in Jira too. Works with GitHub, GitLab and Dropbox for visual documentation in distributed teams. Download diagrams.net Desktop for offline use on Windows, macOS, Linux and ChromeOS. Nextcloud is an ideal on-premise file hosting system for diagrams.net. Entity relationship diagrams or ER models in software engineering show the structure of and relationships between database objects. They are used extensively in database modelling to plan new systems, and document existing systems for maintenance and updates. -
25
Open Semantic Search
Open source semantic search and text analytics for large document sets
Open Semantic Search is an open source research and analytics platform designed for searching, analyzing, and exploring large collections of documents using semantic search technologies. It provides an integrated search server combined with a document processing pipeline that supports crawling, text extraction, and automated analysis of content from many different sources. Open Semantic Search includes an ETL framework that can ingest documents, process them through analysis steps, and...
