Developer Tools Tools & Software

jieba

github

结巴中文分词

croc

github

Easily and securely send things from one computer to another :crocodile: :package:

detectron2

github

Detectron2 is a platform for object detection, segmentation and other visual recognition tasks.

poetry

github

Python packaging and dependency management made easy

12306

github

12306智能刷票，订票

nps

github

一款轻量级、高性能、功能强大的内网穿透代理服务器。支持tcp、udp、socks5、http等几乎所有流量转发，可用来访问内网网站、本地支付接口调试、ssh访问、远程桌面，内网dns解析、内网socks5代理等等……，并带有功能强大的web管理端。a lightweight, high-performance, powerful intranet penetration proxy server, with a powerful web management terminal.

marker

github

Convert PDF to markdown + JSON quickly with high accuracy

ControlNet

github

Let us control diffusion models!

LeetCode-Go

github

✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% / LeetCode 题解

dspy

github

DSPy: The framework for programming—not prompting—language models

AdGuardHome

github

Network-wide ads & trackers blocking DNS server

antigravity-awesome-skills

github

Installable GitHub library of 1,400+ agentic skills for Claude Code, Cursor, Codex CLI, Gemini CLI, Antigravity, and more. Includes installer CLI, bundles, workflows, and official/community skill collections.

OCRmyPDF

github

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

restic

github

Fast, secure, efficient backup program

certbot

github

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

sing-box

github

The universal proxy platform

ChatDev

github

ChatDev 2.0: Dev All through LLM-powered Multi-Agent Collaboration

linux-insides

github

A book-in-progress about the Linux kernel and its insides.

tinygrad

github

You like pytorch? You like micrograd? You love tinygrad! ❤️

beego

github

beego is an open-source, high-performance web framework for the Go programming language.

numpy

github

The fundamental package for scientific computing with Python.

interactive-coding-challenges

github

120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.