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 एक इंटरैक्टिव प्रमेय प्रोवर (theorem prover) और प्रमाण सहायक है जिसका उपयोग औपचारिक गणितीय सत्यापन और सत्यापित सॉफ़्टवेयर विकास के लिए किया जाता है। यह गणना योग्य फ़ंक्शंस और तार्किक प्रस्तावों को परिभाषित करने के लिए Gallina कार्यात्मक भाषा का उपयोग करता है, जिन्हें फिर एक मशीन-चेक्ड कर्नेल के माध्यम से सत्यापित किया जाता है। यह सिस्टम प्रमाण खोज और रणनीति निष्पादन को ऑटोमेट करने के लिए एक आश्रित टाइप सिस्टम और Caldicott-शैली प्रमाण इंजन का उपयोग करता है। ये क्षमताएं औपचारिक विनिर्देशों के निर्माण और ऐसे एल्गोरिदम के विकास की अनुमति देती हैं जो विशिष्ट आवश्यकताओं को पूरा करने के लिए गणितीय रूप से सिद्ध होते हैं। टूलसेट में आगमनात्मक (inductive) टाइप परिभाषाओं, सुव्यवस्थित पुनरावृत्ति और वास्तविक संख्याओं के विभिन्न अभ्यावेदन के लिए समर्थन शामिल है। यह औपचारिक विनिर्देशों को बाहरी प्रोग्रामिंग भाषाओं के लिए निष्पादन योग्य सोर्स कोड में निर्यात करने के लिए एक अनुवाद प्रणाली प्रदान करता है और गणना में तेजी लाने के लिए नेटिव कोड संकलन का समर्थन करता है। एनवायरनमेंट कोड एडिटर्स और IDEs के साथ एकीकृत होता है, जो अतिरिक्त लाइब्रेरीज़ के लिए स्वचालित एनवायरनमेंट सेटअप और बाहरी पैकेज प्रबंधन प्रदान करता है।

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