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 est un prouveur de théorèmes interactif et un assistant de preuve utilisé pour la vérification mathématique formelle et le développement de logiciels vérifiés. Il utilise le langage fonctionnel Gallina pour définir des fonctions calculables et des propositions logiques, qui sont ensuite vérifiées via un noyau vérifié par machine. Le système emploie un système de types dépendants et un moteur de preuve de style Caldicott pour automatiser la recherche de preuve et l'exécution de tactiques. Ces capacités permettent la création de spécifications formelles et le développement d'algorithmes mathématiquement prouvés pour répondre à des exigences spécifiques. L'ensemble d'outils inclut la prise en charge des définitions de types inductifs, de la récursion bien fondée et de diverses représentations de nombres réels. Il fournit un système de traduction pour exporter des spécifications formelles en code source exécutable pour des langages de programmation externes et prend en charge la compilation en code natif pour accélérer le calcul. L'environnement s'intègre aux éditeurs de code et aux IDE, offrant une configuration d'environnement automatisée et une gestion de paquets externe pour des bibliothèques supplémentaires.

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