Awesome GitHub RepositoriesTuple Data Structures

Python is a high-level, interpreted programming language designed for readability and versatility. It operates via a bytecode-based virtual machine and manages memory automatically through reference-counting garbage collection. The language supports multiple programming paradigms, including object-oriented, imperative, and functional styles, and provides a comprehensive standard library for system operations, networking, and data handling. The language is distinguished by its dynamic nature, allowing for runtime object introspection and metaclass-driven class creation. It utilizes protocol-ba

Crystal is a statically typed, compiled programming language designed for high performance and memory safety. It leverages an LLVM-based compiler to translate source code into optimized machine-executable binaries, while its type-inference-based static analysis enforces strict safety rules during the build process. The language distinguishes itself through a fiber-based concurrent runtime that manages lightweight execution units for asynchronous input and output without blocking the main process. It also features a powerful compile-time macro system that allows for the inspection and transfor

This project is an educational resource designed for learning the Python programming language. It serves as a tutorial repository and programming guide, providing a collection of annotated scripts, code examples, and cheatsheets to help users master syntax and core fundamentals. The resource focuses on moving from basic language syntax to advanced implementation, with a particular emphasis on object-oriented programming, the use of the Python standard library, and scripting automation for business workflows. The content covers a broad range of programming capabilities, including control flow

The Rust Programming Language Book is the official technical guide and educational resource for the Rust language. It provides a comprehensive walkthrough of the language's design, focusing on its core identity as a systems programming language that enforces memory safety and high-performance execution without the need for a garbage collector. The project is distinguished by its focus on ownership, borrowing, and lifetime tracking, which allow the compiler to verify memory safety and thread safety at compile time. It covers the language's unique approach to zero-cost abstractions, including t

This project is a comprehensive collection of web development reference guides and technical cheat sheets. It provides a curated set of markdown-based documentation designed to help developers quickly locate syntax patterns and API examples for common web technologies and programming languages. The repository serves as a specialized reference library covering several distinct technical domains. It includes extensive guides for CSS, focusing on selectors, Flexbox, Grid, and responsive layout properties, as well as a DevOps command reference for Docker, Kubernetes, AWS, Ansible, and general she

This repository serves as the programming language design repository for C#, containing the official language specification and the technical standards governing its grammar, type safety, and memory management. It functions as a collaborative space for the formal design and evolution of the language. The project manages a community-driven evolution process, utilizing a public proposal backlog to debate and adopt new features. This involves formal syntax prototyping and the engineering of the type system to refine the language's behavior and implementation. The scope of the specification cove

30 Seconds of Python is a curated collection of short, reusable Python code snippets designed for quick reference and immediate reuse. It provides an interactive browser that lets you explore snippets organized by tags, search across names and descriptions, and copy code to your clipboard with a single click. The collection covers a broad range of common programming tasks, including list and dictionary operations, string formatting and manipulation, date and time calculations, and color format conversion. It also includes utilities for data transformation, such as converting between case styl

Arktype is a TypeScript runtime validation library and schema orchestrator. It synchronizes TypeScript types with runtime data validation, allowing users to define type-safe schemas that ensure unknown data adheres to specific structures during application execution. The project distinguishes itself by using set-theory type analysis to determine intersections and subtype compatibility, alongside JIT-compiled validation functions for optimized performance. It supports advanced type modeling through branded type constraints, recursive alias resolution, and the ability to generate runtime valida

The Rust RFCs repository is the formal home for the Rust language evolution process, housing the structured design documents and community review mechanisms that govern changes to the Rust programming language, its compiler, and its standard library. It defines the complete lifecycle for proposing, discussing, and implementing substantial changes through RFC documents, from initial submission and community feedback through final comment periods and sub-team sign-offs. The repository codifies the governance and collaboration processes that shape Rust's development, including mechanisms for com

Datascript هو مخزن حالة غير قابل للتغيير في الذاكرة ومخزن ثلاثي قائم على المخطط. يدير حالة التطبيق كقاعدة بيانات ذات إصدارات، ويخزن البيانات كحقائق غير قابلة للتغيير تتكون من كيان، وسمة، وقيمة، ومعاملة. يوفر المشروع محرك منطق لتنفيذ استعلامات Datalog مع دعم للربط الضمني، والقواعد العودية، والنفي. كما يتميز بواجهة برمجة تطبيقات سحب تصريحية لاسترجاع رسوم بيانية للكيانات متداخلة بعمق وهياكل بيانات ذات صلة. تفرض قاعدة البيانات سلامة البيانات من خلال قيود مدفوعة بالمخطط وأنواع السمات. تدعم المعاملات الذرية، وبروتوكولات التخزين القابلة للتوصيل للاستمرار، وفهرسة سمات B-tree لتحسين عمليات البحث. تم تصميم النظام للاستخدام داخل بيئات Clojure وClojureScript وJavaScript.

ComponentKit is a declarative UI framework for building iOS interfaces through composition of small, reusable components. It provides a structured approach to constructing user interfaces where each component is defined as an immutable, pure function of its inputs, enabling predictable rendering and state management. The framework supports both stateless and stateful components, with controllers that can be attached to manage persistent state across component updates. The framework distinguishes itself through its component architecture that emphasizes explicit data flow and compile-time safe

Reactor Core هي مجموعة أدوات برمجة تفاعلية وأساس غير محظور لتكوين خطوط أنابيب بيانات غير متزامنة على JVM. تعمل كإطار عمل لمعالجة التدفق غير المتزامن ونظام إدارة الضغط العكسي، مما يسمح للمطورين بتحويل وتصفية ودمج تسلسلات الأحداث مع تنظيم تدفق البيانات بين المنتجين والمستهلكين لمنع استنفاد الموارد. تتميز المكتبة بنظام جدولة تزامن متطور وتحكم في التدفق قائم على الطلب. تفصل معالجة الإشارات عن خيوط معينة باستخدام سجل جدولة وتوفر آليات لنشر البيانات الوصفية غير القابلة للتغيير المدركة للسياق عبر الحدود غير المتزامنة. كما تتميز بأدوات متخصصة لالتقاط التتبع في وقت التجميع وجدولة الوقت الافتراضي لتسهيل اختبار المشغلين القائمين على الوقت. يغطي المشروع مجموعة واسعة من القدرات، بما في ذلك معالجة البيانات الوظيفية لتجميع التسلسل والنافذة، ومجموعة متنوعة من استراتيجيات استرداد الأخطاء مثل إعادة المحاولة ذات التراجع الأسي، وأدوات لربط رد الاتصال القديم أو واجهات برمجة التطبيقات المتزامنة في تدفقات تفاعلية. كما يوفر أدوات لمراقبة خط الأنابيب ومجموعة من أدوات الاختبار للتحقق من تسلسلات الإشارة.

Bosque هي لغة برمجة تجريبية ومنصة تطوير مصممة لبناء البرمجيات بمساعدة الآلة. تجمع بين دلالات البرمجة الوظيفية وبناء الجملة الإلزامي لفرض صحة المنطق وسلامة وقت التشغيل، مما يوفر بيئة آمنة من حيث النوع تستخدم نماذج بيانات منظمة للحفاظ على سلامة المعلومات طوال دورة حياة التطبيق. تتميز المنصة بالتكامل العميق مع أدوات التحقق الرسمية، بما في ذلك أدوات إثبات النظريات الآلية ومحركات التنفيذ الرمزي. من خلال تحويل الكود المصدري إلى تمثيل وسيط منتظم، يتيح النظام التفكير الآلي لإثبات غياب أخطاء وقت التشغيل وانتهاكات المنطق. علاوة على ذلك، تم تصميم وقت التشغيل لأداء يمكن التنبؤ به، باستخدام مترجم متخصص يلغي توقفات جمع القمامة لضمان زمن انتقال تنفيذ متسق. يوفر المشروع مجموعة شاملة من الأدوات للتطوير عالي الموثوقية، تغطي إدارة حزم المشاريع، وتتبع التبعيات، والتحقق الآلي من خصائص الكود. كما يدعم تصميم الواجهات المحايدة للغة، مما يسمح للمطورين بتعريف هياكل البيانات المشتركة وعقود الخدمة التي تضمن التحقق المتسق عبر مكونات البرمجيات المتنوعة.

هذا المشروع عبارة عن مجموعة شاملة من مواد تعليم برمجة Python، بما في ذلك البرامج التعليمية، والتمارين، وعينات الكود المنسقة. يعمل كمنهج تعليمي ومجموعة أدوات هندسة برمجيات، باستخدام Jupyter Notebooks لدمج الكود القابل للتنفيذ مع نص تعليمي وصفي. يوفر المستودع أدلة تنفيذ عملية لبناء تطبيقات نماذج لغوية كبيرة، مثل أنظمة التوليد المعزز بالاسترجاع، ووكلاء الذكاء الاصطناعي ذوي الحالة، وسير عمل التعلم الآلي. يتميز بتقديم نهج منظم لسير عمل الترميز الوكيل، وتغطية تقطير نافذة السياق، وتوجيه النموذج المستقل عن المزود، والمخرجات المهيكلة المفروضة بالمخطط. تغطي المواد مجموعة واسعة من قدرات هندسة البرمجيات، بما في ذلك البرمجة غير المتزامنة مع طوابير المهام الموزعة، وتطوير تطبيقات الويب مع REST APIs، وسير عمل تحليل البيانات. كما يتضمن موارد لإتقان التصميم الموجه للكائنات، وتنفيذ خطوط أنابيب CI/CD، وتطبيق معايير التنسيق والتدقيق المهنية.

c3c is the compiler for the C3 programming language, transforming source code into executable binaries, static libraries, or dynamic libraries using an LLVM backend. It implements a system based on result-based error handling, scoped memory pooling, and a semantic macro system. The compiler provides first-class support for hardware-backed SIMD vectors that map directly to processor instructions and enables runtime polymorphism through interface-based dynamic dispatch. The project covers a broad set of low-level capabilities, including manual and pooled memory management, inline assembly inte

هذا المشروع هو ترجمة صينية لدليل شامل للغة البرمجة Go. يعمل كمورد تعليمي مترجم ودليل تقني مصمم لتقديم إرشادات حول قواعد اللغة، وتصميمها، وتطوير البرمجيات. يغطي المورد مجموعة واسعة من تعليم لغة Go، بما في ذلك تنفيذ أنماط البرمجة وتصميم الأنظمة. يتضمن دروساً وأمثلة مترجمة تركز على ميزات اللغة الأساسية مثل التزامن (concurrency) واستخدام الواجهات (interfaces). يمتد المحتوى ليشمل مجالات قدرات متنوعة، بما في ذلك أساسيات اللغة، ونمذجة البيانات، والانعكاس في وقت التشغيل (runtime reflection)، وإدارة الذاكرة. كما يوفر تغطية مفصلة لهندسة البرمجيات، ومعالجة الأخطاء، وضمان الجودة، وشبكات الويب. تم هيكلة التوثيق كدليل تقني يحتوي على محتوى مترجم، وتصويبات، وتصحيحات لضمان تعلم دقيق.

هذا المشروع هو إطار الإدارة الأساسي لجهاز أمان، ويوفر البنية التحتية الأساسية لإدارة جدار الحماية، ومنع اختراق الشبكة، وشبكات التوفر العالي. يعمل كنظام مركزي للتحكم في سياسات أمان الشبكة، وتصفية حركة المرور، وإدارة لوحة تحكم جهاز الأمان. يتميز النظام بقدرات التوفر العالي، والتي تشمل مزامنة التكوينات وجداول حالة الاتصال عبر العقد المتكررة لتمكين تجاوز الفشل التلقائي للأجهزة. كما يتميز ببنية إضافات معيارية لتوسيع منطق الواجهة الخلفية وواجهات المستخدم، إلى جانب API قائم على JSON للإدارة البرمجية لقواعد جدار الحماية وإعدادات النظام. تغطي المنصة مجموعة واسعة من مجالات القدرة، بما في ذلك تكوين الشبكة لـ IPv4 و IPv6، وأنفاق VPN الآمنة، وإدارة البوابة المقيدة (captive portal)، وأدوات المراقبة والملاحظة الشاملة. كما تدمج إدارة الهوية مع المصادقة متعددة العوامل وتوفر أدوات لنسخ التكوين احتياطياً، وتتبع الإصدار، والنشر عبر أجهزة x86-64.

TypeDB هو قاعدة بيانات رسومية ذات نوع قوي ونظام إدارة قاعدة بيانات معرفية. يعمل كمخزن بيانات متعدد النماذج يوحد الهياكل العلائقية والمستندية والرسومية في بيئة واحدة، ويعمل كقاعدة بيانات متوافقة مع ACID ومحرك استعلام تصريحي. يتميز النظام باستخدام نمذجة الرسم البياني الفائق (n-ary hypergraph) وتسلسلات هرمية للأنواع متعددة الأشكال. يستخدم مخططاً ذا نوع قوي لفرض القواعد الهيكلية والتحقق من سلامة البيانات، مما يسمح بالاستدلال متعدد الأشكال القائم على النوع وتعدد أشكال الواجهة القائم على الدور لحل العلاقات المعقدة تلقائياً أثناء تنفيذ الاستعلام. تغطي المنصة مجموعة واسعة من القدرات بما في ذلك حساب العلاقات العودية عبر الجدولة، ومعاملات عزل اللقطات، واسترجاع البيانات التصريحي. كما يدعم التوافر العالي من خلال تكرار الكتلة القائم على الإجماع، والتحكم في الوصول القائم على الدور، والتكامل مع وكلاء الذكاء الاصطناعي لاسترجاع البيانات المهيكلة. يتم دعم الإدارة عبر واجهة سطر أوامر، ويوفر النظام أدوات لتصور مخططات الرسوم البيانية وتدقيق النشاط الإداري.