Developer Tools

rust-lang

rustc-dev-guide

★ 1,912

A guide to how rustc works and how to contribute to it. This is a collaborative effort to build a guide that explains how rustc works.

teorth

analysis

★ 1,908

A Lean companion to Analysis I. For instance, Chapter 2 develops a theory of the natural numbers independent of Mathlib, but all subsequent chapters will use the Mathlib natural numbers instead.

tyron12233

CodeAssist

★ 1,877

Experimental IDE for building Android applicatons on Android. CodeAssist A lightweight, on-device IDE that edits *and builds* Android & Java projects, no laptop, no Gradle daemon.** What is CodeAssist?

phpenv

phpenv

★ 1,870

Simple PHP version management. Ever wondered why you can't run a PHP app on your own development machine?

ScoopInstaller

Main

★ 1,869

The default bucket for Scoop. This is the default bucket for Scoop and is added by default.

bioconda

bioconda-recipes

★ 1,869

Conda recipes for the bioconda channel. Nightly build status The nightly uploader jobs build any recipes that exist on master but were not successfully uploaded to the bioconda channel.

mikavilpas

yazi.nvim

★ 1,863

A Neovim Plugin for the yazi terminal file manager. This plugin allows you to open yazi in a floating window in Neovim.

agent-substrate

substrate

★ 1,860

Agent Substrate: the core system. Agent Substrate is a system built on top of Kubernetes which manages agent-like workloads to achieve higher scale and efficiency than Kubernetes alone can offer, with lower latency.

multitheftauto

mtasa-blue

★ 1,851

Multi Theft Auto is a game engine that turns Grand Theft Auto: San Andreas into networked multiplayer.

Zoo-Code-Org

Zoo-Code

★ 1,849

Zoo Code gives you a whole dev team of AI agents in your code editor.

meshtastic

Meshtastic-Android

★ 1,838

Android application for Meshtastic. Meshtastic-Android This is a tool for using Android (and Compose Desktop) with open-source mesh radios.

the-open-engine

zeroshot

★ 1,833

Your autonomous engineering team in a CLI. The agent loop produces senior-level code that you can actually trust in prod because of non-negotiable feedback from independent reviewers. Supports Claude Code, OpenAI Codex, OpenCode, and Gemini CLI with trivial setup.

0xsline

OpenChatCut

★ 1,824

Open-source, local-first conversational AI video editor with a professional multi-track timeline, Agent Skills, MCP integration, and Remotion rendering.

chrisryugj

kordoc

★ 1,823

, HWP HWPX PDF Office Markdown . CLI MCP | Convert Korean documents (HWP, HWPX, PDF, Office) to Markdown, CLI and MCP server with form filling and diff.

antrea-io

antrea

★ 1,810

Antrea is an open-source Kubernetes networking and security project built on Open vSwitch, providing pod networking, policy enforcement, observability integration, and gateway controls for production clusters.

phishdestroy

destroylist

★ 1,802

Real-time phishing & scam domain blocklist, 190k+ curated threats, 888K+ community, free API, multiple formats.

go-spring

go-spring

★ 1,798

[released] IoC IDLs-First Go ( All-in-One Development Framework on IoC and IDLs-First for Go ).

hotyue

IP-Sentinel

★ 1,795

IP-Sentinel VPS IP IP Telegram . IP-Sentinel 是一款轻量化、模块化的分布式 VPS 资产养护系统，通过地理位置信号锚定与高拟真本土流量注入，精准解决 IP 定位偏移（IP送中）及风控分过高的痛点，并配合 Telegram 实现全球多节点“低功耗、拟真、无人值守”的自动化资产养护。

clerk

javascript

★ 1,755

Official JavaScript repository for Clerk authentication. Official Clerk JavaScript SDKs Clerk helps developers build user management.

crossxx-labs

free-proxy

★ 1,736

Provide free clash subscriptions of ssr / vmess / hysteria2 proxy servers 提供免费clash订阅，免费ssr节点，免费trojan节点，免费vmess节点，免费hysteria2节点服务器