Developer Tools

openclaw

acpx

★ 3,286

Headless CLI client for stateful Agent Client Protocol (ACP) sessions.

verus-lang

verus

★ 3,244

Verified Rust for low-level systems code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct.

bradygaster

squad

★ 3,234

Squad: AI agent teams for any project. For the best Squad experience, use the [GitHub Copilot CLI].

dotnet

extensions

★ 3,218

This repository contains a suite of libraries that provide facilities commonly needed when creating production-ready applications.

textlint

textlint

★ 3,194

textlint is the pluggable linter for natural language text.

Devolutions

IronRDP

★ 3,194

Rust implementation of the Microsoft Remote Desktop Protocol (RDP).

zerx-lab

FluxDown

★ 3,192

FluxDown is a media downloading and processing utility with resumable transfers, queue management, and local automation controls.

analogjs

analog

★ 3,187

The fullstack meta-framework for Angular. Powered by Vite and Nitro.

PanosK92

SpartanEngine

★ 3,179

A game engine with a fully bindless, GPU-driven renderer featuring real-time path-traced global illumination, hardware ray tracing, and a physics simulation running at 200Hz, built over 10+ years of R&D.

graphprotocol

graph-node

★ 3,152

Graph Node indexes data from blockchains such as Ethereum and serves it over GraphQL.

phoronix-test-suite

phoronix-test-suite

★ 3,145

The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.

Chachamaru127

claude-code-harness

★ 3,138

Claude Code Dedicated Development Harness - Achieving High-Quality Development Through an Autonomous Plan Work Review Cycle.

samuelgursky

davinci-resolve-mcp

★ 3,136

MCP server integration for DaVinci Resolve Studio. DaVinci Resolve MCP Server blue.svg) 18%20tools-blueviolet.svg) A Model Context Protocol (MCP) server that lets AI assistants control DaVinci Resolve Studio through the official Scripting API.

music-assistant

server

★ 3,127

Music Assistant is a free, opensource Media library manager that connects to your streaming services and a wide range of connected speakers. The server is the beating heart, the core of Music Assistant and must run on an always-on device like a Raspberry Pi, a NAS or an Intel NUC or alike.

petergoldstein

dalli

★ 3,114

High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.

FStarLang

FStar

★ 3,110

A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].

tox-dev

pipdeptree

★ 3,025

A command line utility to display dependency tree of the installed Python packages.

radixark

miles

★ 2,991

Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.

VibiumDev

vibium

★ 2,935

The verification layer for coding agents

foss42

apidash

★ 2,915

API Dash is a beautiful AI-powered open-source cross-platform (Desktop & Mobile) API Client built using Flutter which can help you easily create & customize your HTTP & GraphQL API requests, visually inspect responses and generate API integration code. A lightweight alternative to postman/insomnia.