Awesome GitHub RepositoriesType-Level Boolean Logic

type-fest is a library of reusable utility types for performing complex transformations and validations on objects, arrays, strings, and numeric ranges in TypeScript. It provides a collection of type definitions designed to handle advanced structural changes and constraints. The project distinguishes itself by offering specialized logic for string literal processing, such as casing transformations and pattern-based modifications, and type-level arithmetic for calculating numeric ranges and absolute values. It also includes utilities for enforcing deep immutability, ensuring union mutual exclu

ts-toolbelt is a collection of specialized utilities for manipulating and validating TypeScript types. It provides a toolkit for performing complex transformations on objects, unions, and functions to enforce strict data consistency at compile time. The library features dedicated transformers for function types, including utilities for currying, composition, and signature extraction. It also includes an object type manipulator for deep merging, patching, and reshaping complex structures. The capability surface extends to literal string processing, type-level arithmetic, and tuple operations.

هذه مكتبة C++ ranges وامتداد لمكتبة القوالب القياسية (STL) توفر مجموعة من الخوارزميات القابلة للتركيب وطرق العرض الكسولة (lazy views) لمعالجة تسلسلات البيانات. تعمل كإطار عمل لمعالجة التسلسل الكسول ومكتبة للبرمجة الوصفية للقوالب لمعالجة قوائم الأنواع وإجراء حسابات الأنواع في وقت التجميع. يمكّن المشروع أنماط البرمجة الوظيفية في C++ من خلال استخدام بناء جملة الأنابيب (pipe syntax) والتطبيق الجزئي لإنشاء سلاسل تحويل بيانات مقروءة من اليسار إلى اليمين. ويسمح ببناء خطوط أنابيب بيانات كسولة تقوم بتصفية وتحويل العناصر عند الطلب لتقليل حمل الذاكرة وتجنب النسخ غير الضروري. تغطي المكتبة مجالات قدرات واسعة بما في ذلك معالجة التسلسل، ومعالجة الأنواع في وقت التجميع، وتنفيذ أنواع النطاقات والمكررات المخصصة. وتوفر أدوات لطفرة الحاويات في المكان (eager in-place)، وإرسال الخوارزمية القائم على الإسقاط، وإدارة قوائم الأنواع من خلال سلسلة من الكائنات القابلة للاستدعاء على مستوى النوع.