Awesome GitHub RepositoriesModule Dependency Declarations

CUE is a constraint-based configuration language designed for data validation, schema definition, and code generation. At its core, it unifies types and values into a single concept, enabling compile-time validation that catches structural and value errors before runtime. The language treats data and constraints as the same thing, allowing a single definition to serve as both a schema and concrete configuration data. CUE distinguishes itself through its constraint-based unification engine, which combines multiple configuration sources into a single coherent result by merging their constraints

Cortex is an open-source, horizontally scalable metrics platform that ingests, stores, and queries Prometheus-compatible time-series data with multi-tenant isolation. It accepts metrics via Prometheus remote write and OpenTelemetry, executes PromQL queries against both recent and historical data, and provides a Prometheus-compatible alerting and recording rule engine with an integrated Alertmanager. The system is built as a set of independently scalable microservices that use hash-ring-based sharding, gossip-based cluster membership, and tenant-aware object storage to distribute workloads acro

Pacu هو إطار عمل استغلال مصمم لتدقيق واختبار أمان بيئات Amazon Web Services. يعمل كأداة لاختبار اختراق السحابة ومعدد موارد يستخدم لتحديد التكوينات الخاطئة، ورسم خرائط أسطح الهجوم، وتنفيذ مسارات تصعيد الامتيازات. يوفر إطار العمل قدرات متخصصة لعمليات ما بعد الاستغلال والفريق الأحمر، بما في ذلك إنشاء الاستمرارية من خلال الأبواب الخلفية لإدارة الهوية والوصول. يتميز بنظام وحدات قائم على الإضافات يسمح بتطوير مهام مخصصة وتنسيق طلبات API عبر مناطق جغرافية متعددة. يغطي المشروع مجموعة واسعة من أنشطة تدقيق الأمان، بما في ذلك تعداد البنية التحتية، وتسريب البيانات من خدمات التخزين، وتدقيق الهوية. يتضمن أدوات لتنفيذ الكود عن بُعد عبر حقن الحمولة ونصوص بدء التشغيل، بالإضافة إلى قدرات لتعطيل خدمات الكشف وتحليل الحركة الجانبية للشبكة. يدير Pacu مفاتيح المصادقة الخاصة بالهدف وبيانات الجلسة الوصفية باستخدام حاويات معزولة وقاعدة بيانات محلية للحفاظ على الحالة وتقليل طلبات API.

Sofa-boot هو إطار عمل لتطبيقات Java المعيارية وامتداد لـ Spring Boot مصمم لعزل وحدات التطبيق في سياقات تنفيذ منفصلة. يوفر منسق خدمة JVM لنشر ومرجعية الخدمات الداخلية وطبقة دمج برمجيات وسيطة للمؤسسات لنشر مبادرات البرمجيات الوسيطة المستقلة. يمنع إطار العمل تعارضات الفاصوليا (Beans)، والتكوين، وإصدار التبعيات باستخدام محملات فئات مستقلة وشجرة هرمية من سياقات التنفيذ المتميزة. يعمل على تحسين أوقات بدء تشغيل تطبيقات المؤسسات من خلال تحميل الوحدات المستقلة بالتوازي وتهيئة المكونات بشكل غير متزامن. يتضمن النظام محققاً لجاهزية التطبيق يحظر حركة مرور الشبكة الخارجية وتسجيل الخدمة حتى يتم تهيئة جميع المكونات بالكامل. كما يدير تنسيق الخدمة عن طريق تحويل اتصالات الوحدات الداخلية إلى استدعاءات خدمة عن بُعد ويفصل تدفقات تسجيل البرمجيات الوسيطة و SDK عن سجلات التطبيق الأساسية.

libigl هي مكتبة لمعالجة الهندسة بلغة C++ تُستخدم لتحليل ومعالجة شبكات المثلثات والرباعيات الأسطح ثلاثية الأبعاد. تعمل كمجموعة للجبر الخطي العددي وإطار عمل لمعالجة الشبكات، حيث تدمج محرك تشوه هندسي لتنفيذ التحويلات الصلبة ومتعددة التوافقيات. يتميز المشروع بتصميمه كمكتبة تعتمد على ملفات الترويسة فقط (Header-only) وتنفيذه لتقنيات تشوه متخصصة، بما في ذلك التشوه الصلب قدر الإمكان والتشوه متعدد التوافقيات. كما يوفر أداة تصور لعرض الأسطح والحقول العددية مع عناصر تحكم تفاعلية في المشهد واختيار الشبكة. تغطي المكتبة مجموعة واسعة من الإمكانيات بما في ذلك التحليل الهندسي للانحناء والمسافات الجيوديسية، وتوليد الشبكات عبر استخراج الأسطح المتساوية والتثليث، وإعادة بناء الشبكة من خلال التشويه متباين الخواص. كما تدعم عمليات الشبكة المنطقية، ومعاملة الأسطح، والتحسين العددي لحل معادلات لابلاس والبرامج التربيعية. تتضمن مجموعة الأدوات مرافق لاستيراد وتصدير تنسيقات هندسية ثلاثية الأبعاد متنوعة وتدعم التوافق مع Matlab لتنفيذ النصوص البرمجية ومشاركة المصفوفات.

Ergo is a distributed actor framework for Go that implements the Erlang distribution protocol, enabling the construction of resilient, concurrent applications that can communicate transparently with Erlang/OTP nodes. At its core, it provides an actor model with isolated lightweight processes, priority-ordered mailboxes, and a meta-process architecture that separates blocking I/O from sequential message handling to prevent actor freezing. The framework includes a Raft-inspired cluster consensus system for leader election and automatic failover, along with OTP-style supervision trees that organi

This project provides a functional package manager and a reproducible build system designed to ensure identical build inputs always produce the same outputs. It serves as the foundation for a declarative Linux distribution where the entire system state is defined in a configuration file, enabling predictable deployments and full-system rollbacks. The system uses a deterministic functional language and a lazy-evaluation expression engine to manage software dependencies and isolate build environments. It distinguishes itself through a content-addressable store that allows multiple versions of s