Search Results for "mining software linux" - Page 32
Sort By:
Showing 51951 open source projects for "mining software linux"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
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.
-
1
codex-keysmith
Version-independent Codex instruction deployment
Codex Keysmith is a zero-dependency Python utility for deploying versioned instruction files into Codex configuration directories. It updates the global model instruction setting so every new Codex session under that configuration loads the selected Markdown file. The tool previews changes by default and requires explicit confirmation before writing. It creates backups, isolates existing hooks, and records file ownership in a manifest for controlled recovery. Status checks and dry runs show... -
2
ReUI
Design-forward shadcn kit for interfaces that stand out
ReUI is a design-forward component library built for the shadcn/ui ecosystem, offering a large-scale collection of production-ready UI components and layouts intended to accelerate modern React and Next.js development. Unlike traditional UI libraries that focus on isolated components, ReUI emphasizes real-world usage by presenting components within complete dashboard layouts and application flows, making it easier for developers to understand how pieces fit together in practical scenarios.... -
3
JupyterLite
Wasm powered Jupyter running in the browser
JupyterLite is a browser-based distribution of the Jupyter ecosystem that enables interactive computing entirely within a web browser without requiring a backend server. Built using JupyterLab components and powered by WebAssembly technologies, it allows users to run Python and other language kernels directly in the browser through tools like Pyodide or Xeus. This architecture eliminates the need for installation or server infrastructure, making it highly accessible for education,... -
4
free-for.dev
A list of SaaS, PaaS and IaaS offerings that have free tiers
free-for-dev is a long-running, community-curated catalog of services that offer free tiers useful to developers, students, makers, and small teams. The list spans hosting, databases, CI/CD, monitoring, source control, APIs, design tools, and more, organized into clear categories so readers can scan and compare options quickly. It emphasizes practical limits such as usage caps, seat counts, rate limits, and time-boxed trials, helping users spot real-world constraints before adopting a tool.... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
CasADi
CasADi is a symbolic framework for numeric optimization
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT, etc. It can be used in C++, Python, or Matlab/Octave. CasADi's backbone is a symbolic framework implementing forward and reverse modes of AD on expression graphs to construct gradients, large-and-sparse Jacobians, and... -
6
Render
Go package for easily rendering JSON, XML, binary data, and HTML
Render is a package that provides functionality for easily rendering JSON, XML, text, binary data, and HTML templates. Render can be used with pretty much any web framework provided you can access the HTTP.ResponseWriter from your handler. The rendering functions simply wraps Go's existing functionality for marshaling and rendering data. HTML: Uses the html/template package to render HTML templates. JSON: Uses the encoding/json package to marshal data into a JSON-encoded response. XML: Uses... -
7
Paket
A dependency manager for .NET with support for NuGet packages and Git
A dependency manager for .NET with support for NuGet packages and Git repositories. NuGet does not separate out the concept of transitive dependencies. If you install a package into your project and that package has further dependencies then all transitive packages are included in the packages.config. There is no way to tell which packages are only transitive dependencies. Even more importantly: If two packages reference conflicting versions of a package, NuGet will silently take the latest... -
8
Mint
A refreshing programming language for the front-end web
Mint has all the tools you need to write error-free, easily readable, and maintainable applications in record time. In Mint you can style elements directly with CSS using style blocks. Inside a style block, you can nest as many sub selectors and media queries as you like. Interpolate any Mint expressions in any value using the interpolation syntax. You can even use if and case expressions inside any block to apply styles conditionally. In Mint a store contains and manages some data. Stores... -
9
Nuke
Image loading system
Nuke ILS provides an efficient way to download and display images in your app. It's easy to learn and use thanks to a clear and concise API. Its architecture enables many powerful features while offering virtually unlimited possibilities for customization. Despite the number of features, the framework is lean and compiles in just under 3 seconds¹. Nuke has an automated test suite 2x the size of the codebase itself, ensuring excellent reliability. Every feature is carefully designed and... -
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.
-
10
Complete JavaScript Course
Starter files, final projects, and FAQ for Complete JavaScript course
Complete JavaScript Course is the official code repository for Jonas Schmedtmann’s Complete JavaScript Course. It contains starter files, final project files, and frequently asked questions that support the video-based Udemy course. The material is organized by course sections, covering fundamentals, developer skills, DOM projects, JavaScript internals, data structures, functions, arrays, OOP, asynchronous JavaScript, modules, tooling, and larger final applications. Learners can start with... -
11
nodecast-tv
A self-hosted web application that lets you stream Live TV
nodecast-tv is a self-hosted web application that transforms your IPTV playlists and sources into a slick, modern streaming interface accessible from any browser, designed to handle live TV, on-demand movies, and TV series with high performance. The project supports common playlist formats like Xtream Codes and M3U, offering fast channel switching, interactive EPG guides, and structured metadata displays for large catalogs without lag. Software architecture is optimized for smooth browsing... -
12
c
Compile and execute C "scripts" in one go!
I love C for its raw speed (although it does have its drawbacks). We should all write more C. With this shell script, you can compile and execute C "scripts" in one go! (Oh yeah, and it works for C++ too.) First of all, I want to clarify why this is not the same as tcc -run. TCC is a compiler. We all know that. TCC will perform its own set of optimizations, just as GCC will perform its own and Clang will perform its own. The purpose of this script is to give a simple front-end to your... -
13
Jenkins
Build great things at any scale
Jenkins is the leading open-source automation server that allows you to build great things at any scale. Jenkins is built with Java and provides hundreds of plugins for building, deploying and automating virtually anything, allowing you to focus on more important things. Jenkins is often used for building projects, running tests, analyzing static code and deployment. Whatever is done repetitively, Jenkins can most likely execute and execute well, saving you time and optimizing your... -
14
Obsidian Skills
Agent skills for Obsidian
Obsidian-Skills is a repository of agent skills tailored for use with Obsidian and any Claude-compatible agent that follows the standard Agent Skills specification, enabling AI assistants to better understand and interact with Obsidian content. These skills are markdown-driven specifications that teach Claude Code (or similar agents) how to perform context-aware tasks within Obsidian’s unique environment, such as interpreting different file types and workflows, automating workflows tied to... -
15
Zen Kernel
Zen Patched Kernel Sources
...Kernel documentation, like the kernel itself, is very much a work in progress; that is especially true as we work to integrate our many scattered documents into a coherent whole. ARC processors are highly configurable and several configurable options are supported in Linux. Some options are transparent to software (i.e cache geometries, some can be detected at runtime and configured and used accordingly, while some need to be explicitly selected or configured in the kernel’s configuration utility. -
16
Fast Excel
Fast Excel import/export for Laravel
Fast Excel import/export for Laravel, thanks to Spout. -
17
Google Maps SDK for Android Samples
Samples demonstrating how to use Maps SDK for Android
Create dynamic, interactive and personalized experiences with maps, locations and geospatial experiences for your Android apps. Create an account, generate an API key, and start creating. Learn how to load the Maps SDK for Android and add a map with a bookmark to your web application. You can customize almost all aspects of the map, such as routes, landforms and places of interest, among others. Find the current location of an Android device and display details of the place or other place of... -
18
opencv-mobile
The minimal opencv for Android, iOS, ARM Linux, Windows, Linux, MacOS
The minimal opencv for Android, iOS, ARM Linux, Windows, Linux, MacOS, WebAssembly. This project provides the minimal build of opencv library for the Android, iOS and ARM Linux platforms. Packages for Windows, Linux, MacOS, and WebAssembly are available now. We provide prebuild binary packages for opencv 2.4.13.7, 3.4.18, and 4.6.0. We also provide prebuild binary package for iOS with bitcode enabled, that the official package lacks. All the binaries are compiled from source on GitHub... -
19
Betaflight
Open Source Flight Controller Firmware
Betaflight is flight controller software (firmware) used to fly multi-rotor craft and fixed wing craft. This fork differs from Baseflight and Cleanflight in that it focuses on flight performance, leading-edge feature additions, and wide target support. Betaflight supports a wide range of flight controllers with at least an STM32F4 MCU. You can use nearly any piece of modern hardware out there. -
20
Pi-hole
A black hole for Internet advertisements
The Pi-hole® is a DNS sinkhole that protects your devices from unwanted content without installing any client-side software. Our dialogs walk you through the simple installation process in less than ten minutes. Content is blocked in non-browser locations, such as ad-laden mobile apps and smart TVs. Seamlessly speeds up the feel of everyday browsing by caching DNS queries. Runs smoothly with minimal hardware and software requirements. Command-line interface that is quality assured for... -
21
Catch2
A modern, C++-native, test framework for unit-tests, TDD and BDD
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch). Catch2 is mainly a unit testing framework for C++, but it also provides basic micro-benchmarking features and simple BDD macros. Catch2's main advantage is that using it is both simple and natural. Test names do not have to be valid identifiers, assertions look like normal C++ boolean expressions, and sections provide a nice and... -
22
Awesome Mac
Collect premium software in various categories
Now we have become very big and different from the original idea. Here we collect awesome macOS software in various categories. Feel free to star and fork. Reading and writing tools, text editors, office, markdown tools, note-taking, journaling. Ebooks, RSS, developer tools, IDEs, developer utilities, etc. Regular expression editors, API development and analysis, network analysis, command line tools, frameworks for hybrid applications, version control. Virtualization, databases, design and... -
23
VHS
Your CLI home video recorder
VHS is a command-line tool for recording terminal sessions as reproducible demos. It uses scriptable tape files that describe terminal actions, timing, dimensions, typing speed, and output settings. Developers can use it to create GIFs, videos, screenshots, or terminal recordings for documentation, README files, tutorials, and product demos. Instead of manually recording a screen, VHS makes terminal demonstrations repeatable and easier to update when a project changes. It is especially... -
24
The Book of Secret Knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks
The Book of Secret Knowledge is a large curated knowledge base for developers, system administrators, security learners, and technical power users. It collects manuals, cheat sheets, command-line tricks, web tools, blogs, one-liners, configuration examples, and practical references in one organized repository. The project is not a traditional application, but a navigable technical library meant to save time when looking for useful tools or operational knowledge. Its content spans areas such... -
25
VK-GL-CTS
Khronos Vulkan, OpenGL, and OpenGL ES Conformance Tests
VK-GL-CTS (Vulkan and OpenGL Conformance Test Suite) is the official test suite developed by the Khronos Group to verify conformance of graphics drivers with Vulkan, OpenGL, and OpenGL ES specifications. These tests are essential for vendors seeking certification, as they rigorously check the correctness and completeness of driver implementations against standardized behavior. The suite contains thousands of automated tests that assess rendering accuracy, API behavior, memory usage, and...
