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 ist ein interaktiver Theorem-Prover und Proof-Assistant, der für formale mathematische Verifizierung und verifizierte Softwareentwicklung eingesetzt wird. Er nutzt die funktionale Sprache Gallina, um berechenbare Funktionen und logische Propositionen zu definieren, die dann durch einen maschinengeprüften Kernel verifiziert werden. Das System verwendet ein abhängiges Typsystem und eine Proof-Engine im Caldicott-Stil, um die Beweissuche und Taktikausführung zu automatisieren. Diese Fähigkeiten ermöglichen die Erstellung formaler Spezifikationen und die Entwicklung von Algorithmen, die mathematisch bewiesen sind, spezifische Anforderungen zu erfüllen. Das Toolset umfasst Unterstützung für induktive Typdefinitionen, wohlfundierte Rekursion und verschiedene Repräsentationen reeller Zahlen. Es bietet ein Übersetzungssystem, um formale Spezifikationen in ausführbaren Quellcode für externe Programmiersprachen zu exportieren, und unterstützt die Kompilierung in nativen Code zur Beschleunigung der Berechnung. Die Umgebung integriert sich in Code-Editoren und IDEs und bietet automatisiertes Environment-Setup sowie externes Paketmanagement für zusätzliche Bibliotheken.

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