Search Results for "mining software linux"
Sort By:
Showing 5759 open source projects for "mining software linux"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
AnyPS5
Tool for automatic PS5 executables porting to Linux and Windows
...The relinker uses C++20 and targets portability across host compilers where practical. AnyPS5 is intended for interoperability, preservation, and research using legally obtained software. -
2
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... -
3
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... -
4
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... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
NekoBox for PC (NekoRay)
Qt based cross-platform GUI proxy configuration manager
NekoBox for PC is a Qt-based, cross-platform proxy configuration manager designed for Windows and Linux systems. It provides a user-friendly graphical interface for managing advanced proxy and tunneling configurations using the sing-box backend. NekoBox supports a wide range of modern proxy protocols, making it suitable for users who need flexible and powerful network routing options. The application offers portable builds that run without installation, allowing quick setup and easy... -
6
REFramework
Scripting platform, modding framework and VR support for RE Engine
A mod framework, scripting platform, and modding tool for RE Engine games. Inspired by and uses code from Kanan. Supports Resident Evil 2, Resident Evil 3, Resident Evil 7, Resident Evil Village, Devil May Cry 5, Monster Hunter Rise. Lua Scripting API (All games), VR, Generic 6DOF VR support for all games, motion controls for RE2/RE3 (RE7 and RE8 motion controls are still WIP!), first person (RE2, RE3), free camera (All games), scene timescale (All games), manual flashlight (RE2, RE3, RE8),... -
7
SQLiteStudio
A free, open source, multi-platform SQLite database manager
A free, open-source, multi-platform SQLite database manager written in C++, with use of Qt framework. It's free of charge for everybody, for any purpose (including commercial). It's safe, as anyone can review the source code. The SQL Editor window assists users with SQL syntax hints & highlighting, provides pretty-print code formatter, and marks syntax errors. You can Ctrl+click on the table mentioned in the SQL query to open that table (or index, or trigger, or view). Currently supported... -
8
WasmEdge
Extensible WebAssembly runtime for cloud native applications
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime. It is the fastest Wasm VM today. WasmEdge is an official sandbox project hosted by the CNCF. Its use cases include modern web application architectures (Isomorphic & Jamstack applications), microservices on the edge cloud, serverless SaaS APIs, embedded functions, smart contracts, and smart devices. The WasmEdge Runtime provides a well-defined execution sandbox for its contained WebAssembly bytecode program. The... -
9
KiCad
This is an active mirror of the KiCad development branch
KiCad's PCB Editor is approachable enough to make your first PCB design easy, and powerful enough for complex modern designs. A powerful interactive router and improved visualization and selection tools make layout tasks easier than ever. This is an active mirror of the KiCad development branch, which is hosted at GitLab (updated every time something is pushed). -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
10
MAME
MAME is a multi-purpose emulation framework
MAME's purpose is to preserve decades of software history. As electronic technology continues to rush forward, MAME prevents this important "vintage" software from being lost and forgotten. This is achieved by documenting the hardware and how it functions. The source code to MAME serves as this documentation. The fact that the software is usable serves primarily to validate the accuracy of the documentation (how else can you prove that you have recreated the hardware faithfully?). Over time,... -
11
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. -
12
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... -
13
APK Studio
Open-source, cross platform Qt based IDE for reverse-engineering
Open-source, cross-platform Qt based IDE for reverse-engineering Android application packages. It features a friendly IDE-like layout including code editor with syntax highlighting support for *.smali code files. If you are just willing to quickly decompile an Android app, you can make use of DeAPK - Online APK Decompiler which lets you decompile an Android app using apktool and jadx. -
14
Node.js
Cross-platform JavaScript runtime environment
Node.js is a free, open-source, cross-platform JavaScript runtime environment that allows developers to run JavaScript outside of the browser. It is built on Chrome’s V8 engine and is designed for building fast, scalable network applications. Node.js enables developers to create servers, APIs, command-line tools, and full-stack web applications using a single programming language. Its non-blocking, event-driven architecture makes it highly efficient for handling concurrent requests. The... -
15
Bun
Incredibly fast JavaScript runtime, bundler, test runner
Develop, test, run, and bundle JavaScript & TypeScript projects—all with Bun. Bun is an all-in-one JavaScript runtime & toolkit designed for speed, complete with a bundler, test runner, and Node. js-compatible package manager. Bun is a new JavaScript runtime built from scratch to serve the modern JavaScript ecosystem. Bun starts fast and runs fast. It extends JavaScriptCore, the performance-minded JS engine built for Safari. As computing moves to the edge, this is critical. Bun provides a... -
16
JUCE
JUCE is an open-source cross-platform C++ application framework
JUCE is an open-source cross-platform C++ application framework for creating high-quality desktop and mobile applications, including VST, VST3, AU, AUv3, RTAS and AAX audio plug-ins. JUCE can be easily integrated with existing projects via CMake, or can be used as a project generation tool via the Projucer, which supports exporting projects for Xcode (macOS and iOS), Visual Studio, Android Studio, Code::Blocks and Linux Makefiles as well as containing a source code editor. JUCE projects can... -
17
Skiko
Kotlin Multiplatform bindings to Skia
Skiko is an open-source graphics library from JetBrains that provides lightweight, cross-platform bindings for the Skia graphics engine tailored specifically for Kotlin Multiplatform and Compose applications. It serves as the low-level rendering backbone for Kotlin UI frameworks like Compose for Desktop and Compose for Web, enabling smooth, GPU-accelerated 2D graphics across Windows, macOS, Linux, and other supported targets without writing native code. Skiko abstracts away platform-specific... -
18
Cutter
Free and Open Source Reverse Engineering Platform
...Its interface can be extended with Python and native C++ plugins. Community integrations add features such as decompilers and code-coverage visualization. Cutter runs on Linux, macOS, and Windows and is distributed through native packages, portable builds, and Docker-based options. It is intended for software analysis, debugging, research, and authorized security work. -
19
PHP Desktop
Develop desktop GUI applications using PHP, HTML5, JavaScript
PHP Desktop is an open-source project founded by Czarek Tomczak in 2012 to provide a way for developing native desktop GUI applications using web technologies such as PHP, HTML5, JavaScript and SQLite. Think of it as Electron for PHP. It is a convenient tool for converting PHP web apps and PHP CLI tools to desktop applications with little effort. The development workflow you are used to while creating web applications remains the same, there is no new framework / API to learn. The process of... -
20
DIE-engine
GUI & console sources for Detect It Easy(DiE)
...It provides the application layer around the broader Detect It Easy detection and inspection ecosystem. The project is designed for identifying file characteristics, signatures, packers, compilers, and other binary properties used during software analysis. Its source tree integrates components for disassembly, entropy analysis, signatures, YARA scanning, static unpacking, and multiple executable formats. Both graphical and command-line workflows are maintained so analysis can be performed interactively or incorporated into scripts. Build configurations cover Windows, Linux, and macOS along with several Linux package formats. ... -
21
Vcpkg
C++ Library Manager for Windows, Linux, and MacOS
Vcpkg helps you manage C and C++ libraries on Windows, Linux and MacOS. This tool and ecosystem are constantly evolving, and we always appreciate contributions! After you've gotten vcpkg installed and working, you may wish to add tab completion to your shell. With CMake, you will still need to find_package and the like to use the libraries. Check out the CMake section for more information, including on using CMake with an IDE. In classic mode, vcpkg produces an "installed" tree, whose... -
22
wxWidgets
Cross-Platform C++ GUI Library
wxWidgets is a C++ library that lets developers create applications for Windows, macOS, Linux, and other platforms with a single code base. It has popular language bindings for Python, Ruby, Lua, Perl, and several other languages, and unlike other cross-platform toolkits, wxWidgets gives applications a truly native look and feel because it uses the platform's native API rather than emulating the GUI. It's also extensive, free, open-source, and mature. -
23
SFML
Simple and Fast Multimedia Library
SFML provides a simple interface to the various components of your PC, to ease the development of games and multimedia applications. It is composed of five modules: system, window, graphics, audio and network. Discover their features more in detail in the tutorials and the API documentation. With SFML, your application can compile and run out of the box on the most common operating systems: Windows, Linux, macOS and soon Android & iOS. Pre-compiled SDKs for your favorite OS are available on... -
24
RPM
The RPM package manager
RPM (RPM Package Manager) is a powerful package management system used by many Linux distributions, including Red Hat, Fedora, and CentOS. It enables users to install, update, and remove software packages, handling dependencies and ensuring system integrity. RPM provides a standardized format for packaging software, facilitating distribution and maintenance across various systems. -
25
Selenium
Browser automation framework and ecosystem
Selenium automates browsers. That's it! What you do with that power is entirely up to you. Primarily it is for automating web applications for testing purposes, but is certainly not limited to just that. Boring web-based administration tasks can (and should) also be automated as well. If you want to create robust, browser-based regression automation suites and tests, scale and distribute scripts across many environments, then you want to use Selenium WebDriver, a collection of language...
