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 este un demonstrator de teoreme interactiv și asistent de demonstrație utilizat pentru verificarea matematică formală și dezvoltarea de software verificat. Utilizează limbajul funcțional Gallina pentru a defini funcții computabile și propoziții logice, care sunt apoi verificate printr-un kernel verificat de mașină. Sistemul utilizează un sistem de tipuri dependente și un motor de demonstrație în stil Caldicott pentru a automatiza căutarea demonstrațiilor și execuția tacticilor. Aceste capabilități permit crearea de specificații formale și dezvoltarea de algoritmi care sunt demonstrați matematic că îndeplinesc cerințe specifice. Setul de instrumente include suport pentru definiții de tipuri inductive, recursivitate bine fundamentată și diverse reprezentări ale numerelor reale. Oferă un sistem de traducere pentru a exporta specificații formale în cod sursă executabil pentru limbaje de programare externe și suportă compilarea de cod nativ pentru a accelera calculul. Mediul se integrează cu editoare de cod și IDE-uri, oferind configurarea automatizată a mediului și gestionarea pachetelor externe pentru biblioteci suplimentare.

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