ProverCoderAI/docker-git 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

ProverCoderAI/docker-git

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/ProverCoderAI/docker-git)

Close

ProverCoderAI / docker-gitView on GitHubMore

• External links
• Readme badge

☆38Oct 5, 2026Updated this week

Alternatives and similar repositories for docker-git

Users that are interested in docker-git are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• publicrust / rust-analyzer

  View on GitHub
  ☆15Oct 11, 2025Updated 11 months ago
• ton-ai-core / contract-knowledge

  View on GitHub
  ☆17Aug 3, 2025Updated last year
• JackBekket / Reflexia

  View on GitHub
  Autodoc project, aimed to autonomously generating documentation for any code repository and store info about it in vectorstore to further…
  ☆19Nov 19, 2025Updated 10 months ago
• publicrust / rust-template-240

  View on GitHub
  ☆11Mar 14, 2025Updated last year
• objectionary / phino

  View on GitHub
  Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions
  ☆18Oct 2, 2026Updated last week
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• publicrust / plugins-forum

  View on GitHub
  ☆16May 3, 2026Updated 5 months ago
• publicrust / umod-pluigns-dataset

  View on GitHub
  ☆55Mar 24, 2025Updated last year
• artwist-polyakov / openclaw-homebot-guide

  View on GitHub
  Practical guide for deploying an OpenClaw Telegram bot with VkusVill integration and Puppeteer availability checker
  ☆29Feb 20, 2026Updated 7 months ago
• komissarovev / Portable-data-terminal

  View on GitHub
  Portable data terminal (терминал сбора данных)
  ☆10Mar 29, 2022Updated 4 years ago
• xanf / bootstrap-vue3-demo

  View on GitHub
  ☆11Nov 20, 2021Updated 4 years ago
• Bayselonarrend / 1Charts

  View on GitHub
  Библиотека формирования диаграмм ToastUI для 1С:Предприятие
  ☆33Feb 22, 2024Updated 2 years ago
• tact-lang / tact-language-server

  View on GitHub
  ⚡Tact Language Server and VS Code plugin
  ☆25Jun 26, 2026Updated 3 months ago
• andreyjkee / Django-E-Commerce

  View on GitHub
  Django webshop
  ☆11Oct 12, 2013Updated 12 years ago
• promptware / metaprompt

  View on GitHub
  A template engine for LLM prompts with support for writing prompts with prompts
  ☆22Mar 31, 2025Updated last year
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• aayartsev / odpm

  View on GitHub
  Project for developing odoo with docker, pre-commit on linux, windows and macos
  ☆13Oct 1, 2026Updated last week
• Hixon10 / simple-rest-yandex-disk-client

  View on GitHub
  Simple REST Yandex.Disk Client
  ☆16Jan 5, 2020Updated 6 years ago
• logvik / tact-vscode

  View on GitHub
  Tact VS Code plugin
  ☆25Jan 13, 2025Updated last year
• zafaralam / vue3-tabs

  View on GitHub
  A vue 3 tabs component example
  ☆15Jan 23, 2022Updated 4 years ago
• mosesmbadi / Flutter-Multivendor-Mobile-app-for-WooCommerce

  View on GitHub
  -Flutter-Multivendor-Mobile-app-for-WooCommerce
  ☆21Apr 1, 2021Updated 5 years ago
• LuaDist / luadist

  View on GitHub
  Automated Lua module deployment utility for the LuaDist project.
  ☆13Apr 26, 2012Updated 14 years ago
• virex-84 / VoskIdentification

  View on GitHub
  Тестовый пример задействования модели для идентификации голоса с помощью библиотеки распознавания речи "Vosk" (Воск): https://alphacephei…
  ☆12Aug 14, 2023Updated 3 years ago
• updateing / android_kernel_google_zuma

  View on GitHub
  Pixel 8 series kernel.
  ☆13Oct 26, 2024Updated last year
• KamrulSh / km_hospital

  View on GitHub
  A hospital management module for creating patient, doctor, department, medical test, and appointments.
  ☆20Jan 6, 2022Updated 4 years ago
• 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.
• catwell / lua-http-digest

  View on GitHub
  Client side HTTP Digest Authentication for Lua
  ☆18Oct 9, 2025Updated last year
• publicrust / rust-template

  View on GitHub
  ☆36Oct 13, 2025Updated 11 months ago
• vasilievyakov / miracle-infrastructure

  View on GitHub
  17 skills for Claude Code: memory, decision-making, research, security, and business workflows. Zero dependencies.
  ☆17Feb 27, 2026Updated 7 months ago
• VitalyOborin / yodoca

  View on GitHub
  Self-improving AI Assistant
  ☆20Mar 29, 2026Updated 6 months ago
• siffiejoe / lua-annotate

  View on GitHub
  A decorator for docstrings and type checking
  ☆12Feb 20, 2016Updated 10 years ago
• publicrust / MapProtection

  View on GitHub
  MapProtection
  ☆32Jun 25, 2025Updated last year
• LuaAndC / luawt

  View on GitHub
  Lua bindings for Wt
  ☆13Oct 19, 2019Updated 6 years ago
• LazarenkoA / protoc-gen-1c

  View on GitHub
  Генерация http сервисов 1С по protobuf спецификации
  ☆16Aug 24, 2025Updated last year
• gabrield / v4l-lua

  View on GitHub
  v4l-lua small library binding V4L2 CAMERA API to Lua.
  ☆14Sep 24, 2018Updated 8 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• objectionary / eoc

  View on GitHub
  Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programs
  ☆36Updated this week
• oscript-library / cmdline

  View on GitHub
  Парсер аргументов командной строки
  ☆13Jan 21, 2019Updated 7 years ago
• ReverendBayes / AI-Powered-Call-Center-Intelligence

  View on GitHub
  Real-time behavioral intelligence for call centers. Transcribes support calls, redacts PII, extracts emotional tone, classifies issues, a…
  ☆29Nov 7, 2025Updated 11 months ago
• 1C-CPM / VA-Tests-UH33

  View on GitHub
  Сценарные тесты для конфигурации 1С:Управление Холдингом
  ☆11Sep 25, 2026Updated 2 weeks ago
• caioso / DynASM

  View on GitHub
  DynASM is a Dynamic Assembler for code generation engines.
  ☆15Jan 12, 2015Updated 11 years ago
• GameDistribution / gd-defold

  View on GitHub
  GameDistribution Defold SDK
  ☆11Jun 26, 2024Updated 2 years ago
• neuron-one / GODMODE

  View on GitHub
  GODMODE — AI Development Team powered by NEURON.ONE. Multi-agent orchestration for Claude Code. 56 skills, 16 rules, cross-model disputes…
  ☆33Apr 1, 2026Updated 6 months ago