Search Results for "mining software linux" - Page 27
Sort By:
Showing 51951 open source projects for "mining software linux"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
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.
-
1
OR-Tools - Google Optimization Tools
Google's software suite for combinatorial optimization
Google Optimization Tools, also known as OR-Tools is an open-source, fast and portable software suite for solving combinatorial optimization problems. These encompass problems in vehicle routing, flows, integer and linear programming, and constraint programming. This suite contains a number of solvers, namely: a constraint programming solver; a linear programming solver; wrappers for commercial solvers (like Gurobi or CPLEX) and other open source solvers (SCIP, GLPK, etc.); among others.... -
2
Factory AI
Agent-Native Software Development
Factory is an agent-native software development platform designed to automate and accelerate the entire software engineering lifecycle by leveraging AI agents that can understand, modify, and manage codebases in real time. At its core, the system introduces the concept of “Droids,” specialized AI agents that operate across development environments such as the command line, web interfaces, project management tools, and communication platforms, enabling seamless interaction with engineering... -
3
React-CodeMirror
CodeMirror 6 component for React
CodeMirror 6 component for React. -
4
AWS .NET deployment tool
The tooling that simplifies deployment of .NET applications
AWS Deploy Tool is an interactive tooling for the .NET CLI and the AWS Toolkit for Visual Studio that helps deploy .NET applications with minimum AWS knowledge, and with the fewest clicks or commands. It works by analyzing .NET projects and guiding developers to the right AWS service. It then selects the right deployment service, builds and packages your application, and creates the deployment infrastructure. It allows for a quick and easy Proof of concept (POC), smooth graduation to CI/CD,... -
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.
-
5
ArduinoJson
JSON library for Arduino and embedded C++. Simple and efficient
ArduinoJson is a C++ JSON library for Arduino and IoT (Internet Of Things). ArduinoJson has a simple and intuitive syntax to handle objects and arrays. ArduinoJson supports both JSON serialization and deserialization. ArduinoJson uses a fixed memory allocation, allowing to work on devices with very little RAM. ArduinoJson can filter large inputs to keep only fields that are relevant to your application, thereby saving a lot of memory. ArduinoJson can parse directly from an input Stream or... -
6
dlib
Toolkit for making machine learning and data analysis applications
...The library is tested regularly on MS Windows, Linux, and Mac OS X systems. No other packages are required to use the library, only APIs that are provided by an out of the box OS are needed. There is no installation or configure step needed before you can use the library. All operating system specific code is isolated inside the OS abstraction layers which are kept as small as possible. -
7
recipes
Some code snippets for sharing
Recipes is a long-running collection of reusable programming snippets and small experiments rather than a single software package. The repository groups examples by topic so developers can inspect isolated implementations and techniques. Its directories cover algorithms, basic utilities, benchmarking, date and time handling, hashing, sorting, networking, and logging. Other examples explore Protocol Buffers, RPC, reactors, SSL, strings, threading, and top-k processing. Java and Python... -
8
Open Hardware Monitor
Monitor temperature sensors, fan speeds, voltages, load & clock speeds
Open Hardware Monitor is a free and open-source hardware monitoring tool that helps users track the health and performance of their computer. It monitors key system metrics such as CPU temperatures, fan speeds, voltages, clock speeds, and system load. The software supports many hardware monitoring chips commonly found on modern motherboards. It can also read Intel and AMD processor temperature sensors, GPU sensors from ATI and Nvidia cards, and SMART hard drive temperatures. Users can view monitored values in the main window, system tray, or a customizable desktop gadget. Open Hardware Monitor runs on 32-bit and 64-bit Windows systems as well as x86-based Linux operating systems without requiring installation. -
9
Phaser HTML5 Game Framework
Phaser is a free and fast 2D game framework for making HTML5 games
Phaser is a popular open-source 2D game framework for making HTML5 games for desktop and mobile platforms. Built with JavaScript and powered by WebGL and Canvas, it offers a robust API for developing everything from arcade to platformer and puzzle games. -
$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.
-
10
zigmod
A package manager for the Zig programming language
Zigmod is a package manager designed for the Zig programming language, aiming to simplify dependency management and project configuration. It allows developers to declare dependencies in a zig.mod file, which Zigmod then uses to fetch and integrate packages into the build process. By automating the retrieval and management of external packages, Zigmod enhances the development workflow for Zig projects. -
11
Lazygit
Simple terminal UI for git commands
You've heard it before, git is powerful, but what good is that power when everything is so damn hard to do? Interactive rebasing requires you to edit a goddamn TODO file in your editor? Are you kidding me? To stage part of a file you need to use a command-line program to step through each hunk and if a hunk can't be split down any further but contains code you don't want to stage, you have to edit an arcane patch file by hand? Are you KIDDING me?! Sometimes you get asked to stash your... -
12
Vaultwarden
Bitwarden compatible server written in Rust
Basically full implementation of Bitwarden API is provided including organizations support, attachments, vault API support, serving the static files for Vault interface, website icons API, authenticator and U2F support, yubiKey and Duo support. Pull the docker image and mount a volume from the host for persistent storage. This will preserve any persistent data under /vw-data/, you can adapt the path to whatever suits you. Some web browsers, like Chrome, disallow the use of Web Crypto APIs in... -
13
The Arcade Library
Easy to use Python library for creating 2D arcade games
Arcade is an easy-to-use Python library for creating 2D video games. It provides a modern and straightforward API, enabling developers to craft engaging games and graphical applications efficiently. Arcade supports rendering shapes, handling user input, and managing game physics, making it suitable for both beginners and experienced developers. -
14
Seabird
Native Kubernetes desktop IDE
Seabird is a Kubernetes IDE designed for the GNOME desktop. Explore and manage your clusters with a simple and intuitive interface. Equipped with essential features such as a terminal for executing commands, monitoring through logs and metrics, and a resource editor that conveniently places the API reference at your fingertips. -
15
Spotless
Keep your code spotless
Spotless is a tool for formatting and enforcing consistent code style in various languages, streamlining code quality across teams. -
16
OneNote Md Exporter
ConsoleApp to export OneNote notebooks to Markdown formats
OneNote Md Exporter is a console application running on Windows that exports your OneNote notebooks in different markdown formats. Evaluate or migrate to an alternative Knowledge Management Software like Joplin, Obsidian or other software based on Markdown format. Backup your OneNote Notebooks in an interoperable and open file format. -
17
Sol
MacOS launcher & command palette
Sol is an open source app launcher, focused on ease of use and speed. It has minimal configuration and runs natively. -
18
libssh2
the SSH library
libssh2 is a client-side C library implementing the SSH2 protocol. The libssh2 offers a large amount of functions and this is an attempt to provide HTML versions of the man pages present in the source tree. These pages are updated automatically from the source code repository. -
19
Helix Editor
A post-modern modal text editor
A Kakoune / Neovim inspired editor, written in Rust. The editing model is very heavily based on Kakoune. -
20
Criterion
A cross-platform C and C++ unit testing framework for the 21st century
Most test frameworks for C require a lot of boilerplate code to set up tests and test suites -- you need to create a main, then register new test suites, then register the tests within these suites, and finally call the right functions. This gives the user great control, at the unfortunate cost of simplicity. Criterion follows the KISS principle, while keeping the control the user would have with other frameworks. Supports parameterized tests and theories. Progress and statistics can be... -
21
TechRefreshing Linux
A beginner-friendly Debian-based KDE Plasma desktop distribution.
TechRefreshing Linux is an independent Debian-based desktop operating system created by Anup Kumar Yadav and TechRefreshing. It combines the stability of Debian with a polished KDE Plasma desktop, a macOS-inspired layout, beginner-friendly system tools, APT and Flatpak support, and a custom welcome and support experience. TechRefreshing Linux is designed for everyday desktop users, including people moving from Windows to Linux. It includes Firefox, LibreOffice, VLC, Thunderbird,... -
22
Codex++
Codex++ tweak system for the Codex desktop app
Codex++ is a tweak system for the Codex desktop app that lets users add custom features, fix UI issues, and manage extensions without rebuilding the application. It patches the local Codex installation so a loader runs on startup and loads tweak modules from the user’s data directory. The runtime injects a Tweaks tab into the Codex settings interface, where users can enable, disable, and configure installed tweaks. The project works on macOS and Windows, with platform-specific installation,... -
23
Zoo Design Studio
The Zoo Design Studio app
Zoo Design Studio is a modern CAD application that combines traditional graphical modeling with fully programmable design through code, creating a hybrid workflow for engineering and design. The platform treats all CAD artifacts as human-readable code, allowing designs to be version-controlled, diffed, and managed using standard software development tools like Git. Users can interact with the system through a familiar point-and-click interface, but every action is translated into code in the... -
24
UI UX Pro Max
AI SKILL that provide design intelligence
UI UX Pro Max is an open-source AI skill designed to provide intelligent design assistance for professional user interfaces and user experiences across web, mobile, and cross-platform frameworks. It uses an AI reasoning engine to generate complete design systems tailored to project requirements, recommending layouts, typography, colors, spacing, and component structures automatically based on natural language prompts. Users can ask for specific UI/UX tasks or design patterns, and the skill... -
25
GeoIP
This project automatically generates GeoIP files in multiple formats
GeoIP is a community-maintained project that generates and publishes enhanced GeoIP/Geo-database and IP-location/routing data in multiple formats (e.g. V2Ray .dat, MaxMind .mmdb, and others) to support proxy, VPN, or routing tools requiring IP-to-country/region resolution. Rather than depending solely on the official GeoLite2 data, geoip augments and merges data sources (especially for certain regions) to improve coverage or tailor by use-case (e.g. proxy-specific rules, private networks, or...
