dockminer/gminer external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

dockminer/gminer

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/dockminer/gminer)

Close

dockminer / gminerView on GitHubMore

• External links
• Readme badge

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.

• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated 7 months ago
• hkust-taco / superf

  View on GitHub
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆16May 22, 2024Updated 2 years ago
• juniorxxue / emacs.d

  View on GitHub
  Theorem Proving in Emacs
  ☆12Aug 18, 2025Updated last year
• halfaya / BayHac

  View on GitHub
  ☆11Oct 20, 2017Updated 8 years ago
• wonks / wonks.github.io

  View on GitHub
  PL Wonks website
  ☆13Aug 7, 2026Updated last week
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• mit-plv / rewriter

  View on GitHub
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆28Jul 29, 2026Updated 2 weeks ago
• herbelin / cours-preuves-ordinateur

  View on GitHub
  Page du cours preuves assistées par ordinateur 2021
  ☆17May 16, 2025Updated last year
• cu1ch3n / nixbook

  View on GitHub
  ❄️ All Configurations for My Laptop
  ☆23Updated this week
• jwiegley / coq-lattice

  View on GitHub
  A reflection-based proof tactic for lattices in Coq
  ☆21Mar 17, 2026Updated 5 months ago
• verif-scop / PolCert

  View on GitHub
  A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…
  ☆24Mar 9, 2026Updated 5 months ago
• njakob / nanoaddr.io

  View on GitHub
  Find your perfect Nano address
  ☆12Jul 4, 2018Updated 8 years ago
• uwplse / StructTact

  View on GitHub
  Coq utility and tactic library.
  ☆27Dec 9, 2023Updated 2 years ago
• Blaisorblade / dot-iris

  View on GitHub
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆37May 18, 2026Updated 3 months ago
• appditto / natricon

  View on GitHub
  The friendly, familiar face of your nano address
  ☆17Jun 27, 2024Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• twalrant / OutlookGnuPG

  View on GitHub
  GnuPG addin for Outlook 2007
  ☆18Jan 15, 2010Updated 16 years ago
• simplify23 / Light-STR-Competition-No.5

  View on GitHub
  轻量级文字识别技术创新大赛终榜第5名
  ☆15Jul 15, 2021Updated 5 years ago
• 2Thanh / Video-Detection-Streaming

  View on GitHub
  ☆13Oct 27, 2025Updated 9 months ago
• plclub / lngen

  View on GitHub
  Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
  ☆33Oct 22, 2024Updated last year
• BananoCoin / banano-vanity

  View on GitHub
  A BANANO vanity address generator (supports OpenCL)
  ☆21Aug 27, 2018Updated 7 years ago
• hippocritical / Freqtrade_Backtest_Analysis

  View on GitHub
  ☆11Oct 24, 2021Updated 4 years ago
• mymonero / mymonero-web-js

  View on GitHub
  The JS codebase for the MyMonero web wallet app
  ☆22Feb 13, 2026Updated 6 months ago
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆42Jan 20, 2026Updated 6 months ago
• yzyzsun / CP-next

  View on GitHub
  The Next Generation of Compositional Programming
  ☆56Apr 17, 2026Updated 4 months ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• appditto / nanopaperwallet

  View on GitHub
  A website for creating paper wallets for NANO
  ☆20Jun 27, 2024Updated 2 years ago
• antimatter15 / jstorrent

  View on GitHub
  A pure JavaScript BitTorrent 1.0 Implementation
  ☆17Jul 1, 2010Updated 16 years ago
• rocq-community / coq-nix-toolbox

  View on GitHub
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆56Updated this week
• yuanyuanli85 / pytorch-pose

  View on GitHub
  A PyTorch toolkit for 2D Human Pose Estimation.
  ☆13Jan 4, 2019Updated 7 years ago
• wBanano / wban-dApp

  View on GitHub
  ☆21Feb 19, 2025Updated last year
• InterVideo / DenseRootSIFT

  View on GitHub
  Implementation of Dense Root SIFT wrapper using OpenCV and python
  ☆12Aug 15, 2018Updated 8 years ago
• CIS565-Spring-2012 / cis565-spring-2012.github.com

  View on GitHub
  CIS 565 Spring 2012 Website
  ☆17Apr 26, 2012Updated 14 years ago
• avees-dev / CarFree

  View on GitHub
  ☆13Jul 26, 2021Updated 5 years ago
• rocq-community / coqdocjs

  View on GitHub
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆39Oct 21, 2025Updated 9 months ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• v-nhandt21 / ViMFA

  View on GitHub
  Montreal Forced Aligner for Vietnamese
  ☆15Oct 23, 2023Updated 2 years ago
• AIRI-Institute / OmniFusion

  View on GitHub
  ☆15Sep 24, 2024Updated last year
• Cambricon / magicmind_cloud

  View on GitHub
  ☆16Nov 28, 2023Updated 2 years ago
• ryannguyentran / mp3-proxy-musicVN-xiaozhi

  View on GitHub
  mp3-proxy-MusicVN-for-xiaozhi-music
  ☆16Nov 5, 2025Updated 9 months ago
• 0xSojalSec / Face-Depixelizer

  View on GitHub
  Face Depixelizer based on "PULSE: Self-Supervised Photo Upsampling via Latent Space Exploration of Generative Models" repository.
  ☆15Jan 6, 2025Updated last year
• stesha2016 / lanenet

  View on GitHub
  Implemention of lanenet model for real time lane detection using deep neural network model https://maybeshewill-cv.github.io/lanenet-lane…
  ☆19May 16, 2019Updated 7 years ago
• numtel / nano-webgl-pow

  View on GitHub
  WebGL2 Nano Currency Proof of Work Generation
  ☆28Oct 24, 2020Updated 5 years ago