Skip to content
Catégories de projets

Outils de développement · GitHub

Améliorez votre environnement avec des éditeurs, terminaux et outils CLI ou Git.

Projets GitHub utiles

42,490 projets
5,648étoiles

Redis-based components for Scrapy.

  • Distributed crawling/scraping You can start multiple spider instances that share a single redis queue. Best suitable for broad multi-domain crawls.
  • Distributed post-processing Scraped items gets pushed into a redis queued meaning that you can start as many as needed post-processing processes sharing the items queue.

rocq

rocq-prover

5,665étoiles

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

2,328étoiles

几百个免费 AI 模型配额,一键接入本地项目。| Hundreds of free AI model quotas, one-click access to local projects.

5,751étoiles

Onmyoji Auto Script | 阴阳师脚本

  • 日常任务: 悬赏封印、小猫咪、小杂签到、金币妖怪、年兽、花合战、地鬼、封魔、御魂整理
  • 每周相关: 真蛇、秘闻竞速、神秘商店、搜刮商店、斗技、每周小杂事

MD3-Windows

Runixe786

2,359étoiles
MD3-Windows preview

Material you widgets for your windows desktop, adaptable with wallpaper colors with both light & dark modes

  • Clock: shows time of your region.
  • Date: shows current date.

blackfriday

russross

5,596étoiles

Blackfriday: a markdown processor for Go

  • Compatibility. The Markdown v1.0.3 test suite passes with the --tidy option. Without --tidy, the differences are mostly in whitespace and entity escaping, where blackfriday is more consistent and cleaner.
  • Common extensions, including table support, fenced code blocks, autolinks, strikethroughs, non-strict emphasis, etc.

sshdesk

rylena

540étoiles
sshdesk preview

A full interactive remote desktop delivered entirely through SSH and displayed directly in your terminal.

  • full desktop viewing with changed-tile/cell updates and static-frame suppression
  • keyboard, Ctrl/Alt/Shift, arrows, navigation keys, and F1–F12

SlideHub

ryuzee

147étoiles
SlideHub preview

SlideHub is an Open Source Slide Sharing Application for Azure / AWS

  • Upload slides (PDF only; PowerPoint files are no longer accepted as of v3.0.10)
  • Browse slides by category, by user, and more
661étoiles
hh-applicant-tool preview

Скрипт/утилита для автоматизация дейcтвий на HH.RU через AI таких как: отклик на подходящие вакансии, обновление всех резюме и др.

pmg

safedep

563étoiles
pmg preview

PMG protects developers, AI agents from malicious open source packages using proxy, sandbox and SafeDep's threat intelligence feed.

ox

sageox

67étoiles
ox preview

The hivemind for AI coding agents — persistent team context recorded once and recalled across agents, machines, and teammates.