Search Results for "mining software linux"
Sort By:
2664 projects for "mining software linux" with 2 filters applied:
-
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.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
ProM is the comprehensive, extensible framework for process mining. Process Mining deals with the a-posteriori analysis of (business) processes using enactment logs.
-
2
Intel RealSense
Intel® RealSense SDK
Intel® RealSense™ SDK 2.0 is a cross-platform library for Intel® RealSense™ depth cameras. The SDK allows depth and color streaming and provides intrinsic and extrinsic calibration information. The library also offers synthetic streams (point cloud, depth aligned to color and vise-versa), and built-in support for recording and playback of streaming sessions. Intel has EOLed the LiDAR, Facial Authentication, and Tracking product lines. These products have been discontinued and will no longer... -
3
COLMAP
Structure-from-Motion and Multi-View Stereo
COLMAP is a general-purpose Structure-from-Motion (SfM) and Multi-View Stereo (MVS) pipeline with a graphical and command-line interface. It offers a wide range of features for the reconstruction of ordered and unordered image collections. The software is licensed under the new BSD license. -
4
OpenRocket
Model-rocketry aerodynamics and trajectory simulation software
OpenRocket is a free and fully featured simulation software for designing, analyzing, and optimizing model rockets before physical construction and launch. It provides a comprehensive environment where users can assemble rocket components, visualize designs in both 2D and 3D, and simulate flight behavior using accurate aerodynamic and physics models. The software incorporates six-degree-of-freedom flight simulation, allowing it to model real-world dynamics such as stability, drag, thrust,... -
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
Elmer finite element software
Open source finite element software for multiphysical problems
Elmer is a finite element software for numerical solution of partial differential equations and multiphysical problems. It includes models of structural mechanics, fluid dynamics, heat transfer, electromagnetics etc. Elmer home is www.csc.fi/elmer -
6
oomwoo
Open-source vacuum robot cleaner
oomwoo is an open-source robot vacuum project designed for people who want to build their own home cleaning robot. It combines Raspberry Pi, ROS2, Home Assistant, 2D LiDAR, ESP32, Arduino, and 3D printing into a community-buildable platform. The project aims to avoid vendor lock-in by keeping the hardware, software, and firmware open. It is designed around local control, with no cloud required for regular operation. The roadmap includes autonomous navigation, mapping, a documented... -
7
QPanda 2
QPanda 2 is an open source quantum computing framework
QPanda2 is an open source quantum computing framework developed by Origin Quantum, which can be used to build, run and optimize quantum algorithms. QPanda2 is the basic library of a series of software developed by Origin Quantum, which provides core components for QRunes, Qurator and quantum computing services. -
8
PyTensor
Python library for defining and optimizing mathematical expressions
PyTensor is a fork of Aesara, a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays. PyTensor is based on Theano, which has been powering large-scale computationally intensive scientific investigations since 2007. A hackable, pure-Python codebase. Extensible graph framework is suitable for rapid development of custom operators and symbolic optimizations. Implements an extensible graph transpilation framework that... -
9
go1pylib
go1pylib is a Python library designed to control the Go1 robot
go1pylib is a Python library designed to control the Go1 robot by Unitree Robotics. It provides an easy-to-use interface for robot movement, state management, collision avoidance, battery monitoring, and MQTT communication. Ideal for research and robotics development. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
Google Translate PHP
Free Google Translate API PHP Package
A simple and effective PHP library for translating text using Google Translate without needing an API key. It allows developers to integrate real-time translation features into their applications with minimal setup and supports multiple languages, leveraging Google Translate’s unofficial endpoint. -
11
FairChem
FAIR Chemistry's library of machine learning methods for chemistry
FAIRChem is a unified library for machine learning in chemistry and materials, consolidating data, pretrained models, demos, and application code into a single, versioned toolkit. Version 2 modernizes the stack with a cleaner core package and breaking changes relative to V1, focusing on simpler installs and a stable API surface for production and research. The centerpiece models (e.g., UMA variants) plug directly into the ASE ecosystem via a FAIRChem calculator, so users can run relaxations,... -
12
Manyfold
A self-hosted digital asset manager for 3d print files
Manyfold is an open-source 3D collaboration platform that reimagines how distributed teams and communities can meet, create, and interact in immersive spatial environments through the web. Instead of forcing users to download native apps or create accounts on closed metaverse services, Manyfold runs entirely in the browser, letting people join 3D spaces with simple links and participate in real time using avatars, voice chat, and object interaction. Users can build or import shared 3D... -
13
Doctor Dok
Doctor Dok is an AI based medical data framework
Store, manage, and understand your medical history in one secure place that only you can access. Built to protect your privacy with full end-to-end encryption. Convert all your Blood Tests, MRI Scans, TK Scans, Visit reports, and Hospital Admission Reports to JSON, safely store in the cloud, and discuss, annotate, and translate them with AI. Doctor Dok is a secure storage, digitization, sharing, and AI discovery platform for all your family and/or folder health data. All health history -... -
14
PyQuil
A Python library for quantum programming using Quil
PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. To... -
15
Tile38
Ultra Fast Geospatial Database & Geofencing Server
When you need the best performance for your location-based applications, you can rely on Tile38. Tile38 is an ultra-fast, open source geospatial database and geofencing server capable of real-time geofencing, fast spatial indexing and more. It supports a variety of object types including lat/lon, Geohash, bbox, GeoJSON, QuadKey, and XYZ tile; and is capable of operations like Nearby, Within, and Intersects. There’s also built-in support for many popular tools. Tile38 is made up of 3 main... -
16
Math
Mathematical manuscripts and supporting proof artifacts
Math is a public research repository containing mathematical manuscripts and supporting proof artifacts produced by internal OpenAI models. It is used to publish work generated while evaluating models on open mathematical research problems. Papers are grouped into families that may contain principal results, companion arguments, consequences, or alternative proofs. The collection spans multiple mathematical disciplines rather than focusing on one subject. Some results include Lean... -
17
Papers We Love
Papers from the computer science community to read and discuss
Papers We Love (PWL) is a global open source community dedicated to reading, discussing, and sharing influential computer science research papers. The repository serves as a curated directory of academic papers that have shaped the field of computing, providing a centralized location for documents that were previously scattered across various online sources. While licensing restrictions prevent hosting all papers directly, PWL offers links to their original sources and clearly marks hosted... -
18
Mobile Open-Source Software and Tools
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here. -
19
GeoDMA
Geographic feature extraction and data mining
GeoDMA is a plugin for TerraView software, used for geographical data mining. With a single image, the user can perform segmentation, attributes extraction, normalization and classification. -
20
The Ground Station Software Suite projects aims at providing free, useful software tools for ham radio operators. Currently, these projects used to host the Grig communication radio control and Gpredict. The source repositories have been moved over to GitHub.
-
21
GeoServer is an open source software server written in Java that allows users to share and edit geospatial data. Designed for interoperability, it publishes data from any major spatial data source using open standards: WMS, WFS, WCS, WPS and REST
-
22
SAGA - System for Automated Geoscientific Analyses - is a Geographic Information System (GIS) software with immense capabilities for geodata processing and analysis. SAGA is programmed in the object oriented C++ language and supports the implementation of new functions with a very effective Application Programming Interface (API). Functions are organised as modules in framework independent Module Libraries and can be accessed via SAGA’s Graphical User Interface (GUI) or various scripting...
-
23
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
24
half
C++ library for half precision floating point arithmetics.
This is a C++ header-only library to provide an IEEE-754 conformant half-precision floating point type along with corresponding arithmetic operators, type conversions and common mathematical functions. It aims for both efficiency and ease of use, trying to accurately mimic the behaviour of the builtin floating point types at the best performance possible. It automatically uses and provides C++11 features when possible, but stays completely C++98-compatible when neccessary. -
25
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
