Awesome GitHub RepositoriesType-Safe Web Frameworks

Rocket is a type-safe web framework designed for building server-side applications. It provides a high-performance asynchronous routing engine that maps incoming network traffic to concurrent handler functions, while managing the full lifecycle of web requests. The framework emphasizes compile-time verification, ensuring that request parameters, response types, and routing logic remain consistent throughout the development process. The framework distinguishes itself through its use of request guards, which act as a validation layer to intercept and transform incoming data into structured type

Axum is a web framework for the Rust programming language designed for building scalable and high-performance backend services. It provides a modular, asynchronous programming model that centers on a declarative routing engine, allowing developers to map HTTP requests to handler functions using a type-safe API. The framework distinguishes itself through a robust request extraction system that leverages trait-based reflection to automatically parse and validate incoming data into strongly typed function arguments. By utilizing a standardized service abstraction, it enables the composition of m

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

Reason is a statically typed programming language and compiler based on the OCaml ecosystem. It translates high-level, type-safe source code into either JavaScript or OCaml output, providing a typed alternative for web and system development. The language focuses on providing rigorous type safety and a robust module system while integrating with the JavaScript ecosystem. It allows for the development of applications that leverage existing JavaScript libraries while utilizing a more rigid type system to eliminate common runtime crashes and data mismatches. The project covers capabilities incl

PureScript is a statically typed, purely functional programming language that compiles to JavaScript. It is designed as a cross-platform frontend language for building safe web applications, utilizing a static type system and a JavaScript compiler to ensure program correctness across browser and server environments. The language is distinguished by its emphasis on mathematical purity, featuring a robust type system with first-class support for monads. It provides a sophisticated toolset for static verification, including algebraic data types, type classes, and automatic type inference to reje

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

ihp هو إطار عمل ويب آمن من حيث الأنواع (type-safe) ومنسق تطبيقات متكامل مصمم لـ PostgreSQL. يعمل كإطار عمل للرسم من جانب الخادم (SSR) وORM آمن من حيث الأنواع يقوم تلقائيًا بإنشاء أنواع السجلات من مخططات SQL لضمان التحقق من الاستعلامات في وقت التجميع. تتميز المنصة بالتحقق من التوجيه، واستعلامات قاعدة البيانات، والقوالب في وقت التجميع لمنع الأعطال في وقت التشغيل. وتنفذ واجهات ويب في الوقت الفعلي باستخدام WebSockets لمزامنة البيانات الفورية وتستخدم الوسائط المتعددة التي يحركها الخادم (server-driven hypermedia) لتصحيح DOM الجزئي. يغطي إطار العمل مجموعة واسعة من الإمكانيات المتكاملة، بما في ذلك إدارة هوية المستخدم مع دعم مفاتيح المرور (passkeys) وOAuth، وطبقة تخزين بيانات كاملة مع عمليات ترحيل آلية، ونظام عرض واجهة مستخدم شامل مع قوالب HTML آمنة من حيث الأنواع. كما يوفر أدوات مدمجة لتطوير واجهة برمجة تطبيقات JSON، وتنفيذ مهام الخلفية غير المتزامنة، والتكامل المالي لبوابات الدفع. تتم إدارة بيئات الإنتاج من خلال نشر NixOS التصريحي للبنية التحتية القابلة للتكرار.

Poem هي مجموعة أدوات شاملة لبناء تطبيقات ويب، وواجهات برمجة تطبيقات، وخوادم آمنة للنوع باستخدام لغة البرمجة Rust. توفر أساساً لتطوير خوادم الويب التي تتعامل مع طلبات HTTP بأمان نوع قوي. يتميز إطار العمل بدعم بروتوكولات تواصل متعددة من خلال تعيين معالج غير محايد للبروتوكول. وهذا يسمح بكشف منطق داخلي واحد عبر HTTP، وخدمات gRPC باستخدام تعريفات protobuf، وبروتوكول سياق النموذج لتكامل نموذج الذكاء الاصطناعي. بالإضافة إلى ذلك، يتضمن أدوات مدمجة لإنشاء مواصفات OpenAPI v3 ووثائق تفاعلية. يغطي المشروع مجموعة واسعة من القدرات، بما في ذلك توجيه الطلبات، وخطوط أنابيب البرمجيات الوسيطة القائمة على السمات، وإدارة الجلسة. ويوفر ميزات أمان مثل تجديد شهادة TLS التلقائي القائم على ACME، وحماية CSRF، وتكوين CORS. تشمل القدرات المتكاملة الأخرى بث البيانات في الوقت الفعلي عبر WebSockets وأحداث الخادم المرسلة، وتقديم الأصول الثابتة، وتكامل OpenTelemetry لتتبع الطلبات الموزع. تم تصميم إطار العمل لدعم أهداف نشر متنوعة، بما في ذلك القدرة على تشغيل تطبيقات الويب كدوال بدون خادم قائمة على الأحداث داخل بيئات تشغيل السحابة.