Awesome GitHub RepositoriesPackage Environment Setup

Specs is a centralized package metadata repository and distribution service for the Apple platform. It serves as a public index of library specifications, enabling the discovery, resolution, and installation of third-party frameworks for iOS and macOS projects. The project provides a podspec distribution service that hosts and validates library specifications to ensure reproducible dependency resolution. It utilizes a Git-based collection of structured specifications and a REST API to manage library publishing, ownership, and versioning. The system encompasses comprehensive capabilities for

Coq 是一个交互式定理证明器和证明助手，用于形式化数学验证和经过验证的软件开发。它利用 Gallina 函数式语言来定义可计算函数和逻辑命题，然后通过机器检查的内核进行验证。 该系统采用依赖类型系统和 Caldicott 风格的证明引擎来自动化证明搜索和策略执行。这些功能允许创建形式化规范，并开发在数学上被证明满足特定要求的算法。 该工具集包括对归纳类型定义、良基递归和各种实数表示的支持。它提供了一个翻译系统，将形式化规范导出为外部编程语言的可执行源代码，并支持原生代码编译以加速计算。 该环境与代码编辑器和 IDE 集成，提供自动化的环境设置和用于附加库的外部包管理。

ROS 2 is a distributed communication middleware for robot systems, built on a peer-to-peer Data Distribution Service (DDS) foundation. It provides a publish-subscribe messaging layer where typed data flows between decoupled components across a network, along with synchronous remote procedure calls and action-based task execution for long-running goals with periodic feedback. The framework includes an interface definition language that generates type-safe code for messages, services, and actions, ensuring cross-language compatibility, and supports fine-grained Quality of Service profiles that c

x-cmd is an AI agent orchestrator, cloud infrastructure CLI, and cross-platform package manager that provides an enhanced POSIX shell toolkit. It integrates large language models directly into the terminal for chatting, code generation, and the execution of agentic workflows, while offering a framework for building interactive terminal user interface components. The project distinguishes itself by deploying containerized AI agents within isolated sandboxes, provisioning them with specialized skills and headless browser automation capabilities. It further streamlines development through a unif