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 est un boilerplate d'application full stack et un framework web TypeScript conçu pour lancer des applications web prêtes pour la production. Il sert de starter backend Node.js et de base pour construire des services frontend et backend évolutifs. Le projet fournit un environnement pré-configuré pour le bootstrapping web full stack, se concentrant sur un workflow de développement moderne qui intègre la configuration du frontend, du backend et de la base de données. Il inclut une bibliothèque de composants frontend pour créer des interfaces utilisateur cohérentes et réactives. La stack facilite le prototypage rapide d'applications et le déploiement en production via un ensemble intégré d'outils. Cela inclut le rendu côté serveur (SSR), le stockage relationnel, une couche ORM typée et un stylage basé sur des utilitaires.

ihp est un framework web typé et un orchestrateur d'applications full-stack conçu pour PostgreSQL. Il fonctionne comme un framework de rendu côté serveur et un ORM typé qui génère automatiquement des types d'enregistrements à partir de schémas SQL pour garantir la validation des requêtes à la compilation. La plateforme se distingue en vérifiant le routage, les requêtes de base de données et les modèles (templates) au moment de la compilation pour éviter les plantages à l'exécution. Elle implémente des interfaces web en temps réel utilisant les WebSockets pour une synchronisation instantanée des données et emploie l'hypermédia piloté par le serveur pour la mise à jour partielle du DOM. Le framework couvre un large éventail de capacités intégrées, incluant la gestion de l'identité utilisateur avec support des passkeys et OAuth, une couche de stockage de données complète avec migrations automatisées, et un système de rendu d'interface utilisateur complet avec templating HTML typé. Il fournit également des outils intégrés pour le développement d'API JSON, l'exécution de tâches asynchrones en arrière-plan et l'intégration financière pour les passerelles de paiement. Les environnements de production sont gérés via un déploiement NixOS déclaratif pour une infrastructure reproductible.

Poem est une boîte à outils complète pour construire des applications web, API et serveurs typés en utilisant le langage de programmation Rust. Il fournit une fondation pour développer des serveurs web qui gèrent les requêtes HTTP avec une forte sécurité de type. Le framework se distingue en prenant en charge plusieurs protocoles de communication via un mappage de gestionnaire agnostique au protocole. Cela permet à une logique interne unique d'être exposée à travers HTTP, des services gRPC utilisant des définitions protobuf, et le Model Context Protocol pour l'intégration de modèles d'IA. De plus, il inclut des outils intégrés pour générer des spécifications OpenAPI v3 et une documentation interactive. Le projet couvre un large éventail de capacités, incluant le routage de requête, les pipelines middleware basés sur des traits, et la gestion de session. Il fournit des fonctionnalités de sécurité telles que le renouvellement automatique de certificat TLS basé sur ACME, la protection CSRF, et la configuration CORS. D'autres capacités intégrées incluent le streaming de données en temps réel via WebSockets et Server-Sent Events, le service d'assets statiques, et l'intégration OpenTelemetry pour le traçage distribué des requêtes. Le framework est conçu pour prendre en charge diverses cibles de déploiement, incluant la capacité d'exécuter des applications web en tant que fonctions serverless pilotées par événements au sein de runtimes cloud.