Docker for GMiner (https://github.com/develsoftware/GMinerRelease).
☆14Jan 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 2 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- ☆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…☆13Mar 16, 2026Updated last week
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆19Nov 24, 2025Updated 4 months ago
- ❄️ All Configurations for My Laptop☆21Mar 20, 2026Updated last week
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Mar 16, 2026Updated last week
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated 10 months ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 6 years ago
- ☆11Oct 24, 2021Updated 4 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- A reflection-based proof tactic for lattices in Coq☆21Mar 17, 2026Updated last week
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37Feb 20, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Mar 6, 2026Updated 3 weeks ago
- ☆13Feb 5, 2025Updated last year
- 遮挡人脸识别，在insightface基础上增加了一个识别遮挡概率的分类模型，包含在项目中。☆16May 30, 2023Updated 2 years ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 4 years ago
- Implementation of Dense Root SIFT wrapper using OpenCV and python☆12Aug 15, 2018Updated 7 years ago
- lxc-0.8.0 binaries which are statically linked for non-libc ARM platforms like Android☆15Sep 22, 2013Updated 12 years ago
- ☆43Nov 19, 2025Updated 4 months ago
- CentOS OpenVPN Server + Mikrotik OVPN client + Policy Based Routing guide.☆18Jun 26, 2017Updated 8 years ago
- Mechanizations of Type Theories☆35Jan 15, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆49Feb 22, 2025Updated last year
- Library for Classical Coq☆41Jan 20, 2026Updated 2 months ago
- ☆32Nov 11, 2025Updated 4 months ago
- Docker image for ResourceSpace☆31Oct 10, 2025Updated 5 months ago
- Command line tool to validate YAML syntax of input file.☆22Feb 25, 2023Updated 3 years ago
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated 2 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Mar 18, 2026Updated last week
- GUI for fediseer.com☆19Jun 10, 2025Updated 9 months ago
- 26 COUNTRY CLONING NEW TOOL FOR CLONERS 26 COUNTRY CLONING FROM AUTOMATIC PASSWORDS AND ALSO ADDED OWN PASSWO…☆13Apr 24, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 简简单单的看直播☆21Aug 7, 2025Updated 7 months ago
- 😻 BAE, A simple - safe - way to check for single exchange arbitrage potentials on Binance. Has simple event based bindings for Python, N…☆18Jan 3, 2023Updated 3 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Oct 21, 2025Updated 5 months ago
- idrive scripts (perl)☆20May 13, 2023Updated 2 years ago
- Official Pixelfed PHP Library☆24Feb 22, 2020Updated 6 years ago
- This repository contains the results and code for the MLPerf™ Inference v2.1 benchmark.☆18Jul 24, 2025Updated 8 months ago
- Libre office spreadsheet to track your trades☆19Jan 8, 2023Updated 3 years ago