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 Web 框架，专为启动生产就绪的 Web 应用程序而设计。它作为一个 Node.js 后端启动器，以及构建可扩展前端和后端服务的基础。 该项目提供了一个预配置的全栈 Web 引导环境，专注于集成前端、后端和数据库配置的现代开发工作流。它包括一个用于创建一致且响应式用户界面的前端组件库。 该栈通过一套集成工具促进了快速的应用程序原型设计和生产部署。这包括服务器端渲染、关系型存储、类型安全的 ORM 层和基于工具类的样式设计。

ihp 是一个为 PostgreSQL 设计的类型安全 Web 框架和全栈应用编排器。它作为一个服务端渲染框架和类型安全 ORM，能自动从 SQL 模式生成记录类型，以确保编译时的查询验证。 该平台的特色在于在编译时验证路由、数据库查询和模板，以防止运行时崩溃。它使用 WebSocket 实现实时 Web 界面以进行即时数据同步，并采用服务器驱动的超媒体进行部分 DOM 修补。 该框架涵盖了广泛的集成功能，包括支持 Passkey 和 OAuth 的用户身份管理、具有自动迁移功能的完整数据存储层，以及具有类型安全 HTML 模板的综合 UI 渲染系统。它还提供了用于 JSON API 开发、异步后台任务执行以及支付网关金融集成的内置工具。 生产环境通过声明式 NixOS 部署进行管理，以实现可复现的基础设施。

Poem 是一个全面的工具包，用于使用 Rust 编程语言构建类型安全的 Web 应用、API 和服务器。它为开发处理具有强类型安全性的 HTTP 请求的 Web 服务器提供了基础。 该框架通过支持多种通信协议的协议无关处理程序映射而脱颖而出。这允许单个内部逻辑跨 HTTP、使用 protobuf 定义的 gRPC 服务以及用于 AI 模型集成的模型上下文协议（MCP）进行公开。此外，它还包括用于生成 OpenAPI v3 规范和交互式文档的内置工具。 该项目涵盖了广泛的功能，包括请求路由、基于特征（Trait）的中间件管道和会话管理。它提供安全功能，如基于 ACME 的自动 TLS 证书续期、CSRF 保护和 CORS 配置。其他集成功能包括通过 WebSocket 和服务器发送事件（SSE）进行的实时数据流、静态资源服务，以及用于分布式请求跟踪的 OpenTelemetry 集成。 该框架旨在支持多样化的部署目标，包括能够将 Web 应用作为云运行时内的事件驱动无服务器函数运行。