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 9 months ago
- PL Wonks website☆13Aug 7, 2026Updated 2 months ago
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- ❄️ All Configurations for My Laptop☆23Updated this week
- linux openssh openssl for centos rhel suse☆10Oct 16, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- End-to-end Verified Polyhedral Compilation☆25Sep 7, 2026Updated last month
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- A collection of programming languages and type systems.☆37May 11, 2025Updated last year
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Jun 11, 2021Updated 5 years ago
- fork from https://github.com/awaragi/prometheus-mssql-exporter☆12Mar 4, 2023Updated 3 years ago
- Mechanizations of Type Theories☆37Aug 11, 2026Updated 2 months ago
- Tutorial for MOSN and Istio Service Mesh - https://www.katacoda.com/mosn☆20Jul 23, 2022Updated 4 years ago
- Overclock NVIDIA Cards on Ubuntu and Linux based non-mining OS☆14Jun 1, 2022Updated 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.
- Interfaces for S3-Proxy☆24Oct 7, 2026Updated last week
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆33Oct 22, 2024Updated last year
- Library for Classical Coq☆42Jan 20, 2026Updated 8 months ago
- ITerm2 + Zinit + NeoVim + Tmux Development Environment☆19Jan 21, 2026Updated 8 months ago
- Developer Utilities for macOS☆14Sep 27, 2020Updated 6 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆57Updated this week
- Open Source Crimean Tatar Text-to-Speech datasets☆14Feb 23, 2025Updated last year
- Implementation of Dense Root SIFT wrapper using OpenCV and python☆12Aug 15, 2018Updated 8 years ago
- promethues alertmanager to work wechat☆17Dec 8, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆38Oct 21, 2025Updated 11 months ago
- Montreal Forced Aligner for Vietnamese☆15Oct 23, 2023Updated 2 years ago
- Google Clood Cook BOOK☆13Apr 12, 2020Updated 6 years ago
- mp3-proxy-MusicVN-for-xiaozhi-music☆19Nov 5, 2025Updated 11 months ago
- ytLiveChatBot is a golang library for cli base applications that makes it easy to read and write live-chat on/from youtube live streams u…☆15Dec 6, 2021Updated 4 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆77Sep 4, 2026Updated last month
- 😻 BAE, A simple - safe - way to check for single exchange arbitrage potentials on Binance. Has simple event based bindings for Python, N…☆17Jan 3, 2023Updated 3 years ago
- Effortlessly collect and transform Midjourney prompts into a versatile language model dataset.☆15Jan 5, 2024Updated 2 years ago
- PL conference deadline countdowns☆65Aug 30, 2026Updated last month
- 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.
- Script for generating Spatial CNN caffe prototxt file.☆26Jun 12, 2018Updated 8 years ago
- The Penn Locally Nameless Metatheory Library☆80Mar 26, 2025Updated last year
- Turn research into video☆23Apr 15, 2026Updated 6 months ago
- Real-time threat intelligence platform with threat feeds, vulnerability tracking, attack surface monitoring, and threat actor intelligenc…☆24Oct 10, 2026Updated last week
- ML SUPERTREND ULTIMATE -ML- QLearning +Per + LSTM + CNN☆18Jun 8, 2026Updated 4 months ago
- Nominator Pool smart contract☆49May 30, 2023Updated 3 years ago
- Training DeepCars using Deep Reinforcement Learning agents (DQN and Double-DQN)☆22Sep 27, 2019Updated 7 years ago