Docker for GMiner (https://github.com/develsoftware/GMinerRelease).
☆15Jan 22, 2022Updated 4 years ago
Alternatives and similar repositories for gminer
Users that are interested in gminer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 8 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- Working AMD/Nvidia drivers + lolminer. Tested on Ubuntu 20.04 and 20.10 hosts without requiring the AMD driver on the host. Nvidia requir…☆13Jun 18, 2026Updated 2 months ago
- ☆22Jul 2, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ❄️ All Configurations for My Laptop☆23Updated this week
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated 5 months ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/artifact/cpp27-a…☆25Mar 9, 2026Updated 5 months ago
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- Find your perfect Nano address☆12Jul 4, 2018Updated 8 years ago
- Quite useful react snippet for automatic photo capture with check of correct face position. It uses Haar-cascade in WASM (performant and …☆12May 30, 2024Updated 2 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- Validates addresses in the Nano cryptocurrency for syntax and checksum integrity☆13Jan 4, 2023Updated 3 years ago
- A json feature-list for wallets that support Nano☆22Nov 14, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Building A Correct-By-Construction Proof Checkers For Type Theories☆32Aug 5, 2026Updated last month
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 5 years ago
- Gentoo ebuilds of the https://github.com/NVIDIA/nvidia-docker☆11Dec 21, 2021Updated 4 years ago
- lxc-0.8.0 binaries which are statically linked for non-libc ARM platforms like Android☆15Sep 22, 2013Updated 12 years ago
- ☆14Oct 27, 2025Updated 10 months ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆33Oct 22, 2024Updated last year
- A BANANO vanity address generator (supports OpenCL)☆21Aug 27, 2018Updated 8 years ago
- Upload multiple images in sonata media and select as well☆14Jul 1, 2015Updated 11 years ago
- ☆11Oct 24, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Vanity Address Generator for Nano and Banano☆14Nov 28, 2021Updated 4 years ago
- Process camera feed for real-time face based pose estimation☆18Nov 23, 2018Updated 7 years ago
- Library for Classical Coq☆42Jan 20, 2026Updated 7 months ago
- The Next Generation of Compositional Programming☆56Apr 17, 2026Updated 4 months ago
- A website for creating paper wallets for NANO☆20Jun 27, 2024Updated 2 years ago
- RKN-related stuff☆13Nov 13, 2019Updated 6 years ago
- QCNode is Qualcomm's next-generation ADAS Hardware Abstraction Layer (HAL). It provides a set of user-friendly APIs that abstract the com…☆19Updated this week
- Gentoo Linux overlay☆11Aug 29, 2026Updated last week
- Implementation of FPN (Feature Pyramid Networks) using Chainer☆14Feb 8, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Open Source Crimean Tatar Text-to-Speech datasets☆14Feb 23, 2025Updated last year
- ☆21Feb 19, 2025Updated last year
- Implementation of Dense Root SIFT wrapper using OpenCV and python☆12Aug 15, 2018Updated 8 years ago
- Reboot of eclean-kernel [now defunct in favor of reviving ek1]☆18Nov 17, 2018Updated 7 years ago
- ☆19Jan 21, 2022Updated 4 years ago
- ☆13Jul 26, 2021Updated 5 years ago
- VTube-Sama-App 是一个超低上手成本的 AI Vtube项目，支持OpenAI、Ollama、智谱，可在Mac、Windows 安装使用。☆26Jul 24, 2025Updated last year