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 es un demostrador de teoremas interactivo y asistente de pruebas utilizado para la verificación matemática formal y el desarrollo de software verificado. Utiliza el lenguaje funcional Gallina para definir funciones computables y proposiciones lógicas, que luego son verificadas a través de un kernel verificado por máquina. El sistema emplea un sistema de tipos dependientes y un motor de pruebas al estilo Caldicott para automatizar la búsqueda de pruebas y la ejecución de tácticas. Estas capacidades permiten la creación de especificaciones formales y el desarrollo de algoritmos que están matemáticamente probados para cumplir con requisitos específicos. El conjunto de herramientas incluye soporte para definiciones de tipos inductivos, recursión bien fundada y varias representaciones de números reales. Proporciona un sistema de traducción para exportar especificaciones formales a código fuente ejecutable para lenguajes de programación externos y soporta la compilación de código nativo para acelerar la computación. El entorno se integra con editores de código e IDEs, ofreciendo configuración automatizada del entorno y gestión de paquetes externos para librerías adicionales.

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