Awesome GitHub RepositoriesBranded Types

Reason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web environments or native machine code for operating systems. It serves as an OCaml-compatible language that shares an abstract syntax tree with OCaml, providing a practical syntax for the OCaml ecosystem. The project functions as a type-safe frontend language, incorporating JSX support to build user interfaces through structural elements that translate into type-safe function calls. It enables deep integration with the JavaScript ecosystem, allowing the use of existing librarie

Valibot is a modular, type-safe schema library for validating and parsing structural data in TypeScript environments.

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

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

Ziggy is a frontend routing bridge that exports server route definitions to JavaScript or JSON for use in browser-based applications. It acts as a named route resolver, synchronizing server-defined routes with the client to generate full URLs from named routes without hardcoding paths. The project includes a TypeScript route generator that creates type definitions for backend routes, providing static type checking and autocompletion. It also provides dedicated integration hooks and plugins for React and Vue to make routing capabilities available within component-based frameworks. Beyond URL