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 ist ein Full-Stack-Anwendungs-Boilerplate und ein TypeScript-Web-Framework, das für den Start produktionsreifer Webanwendungen konzipiert ist. Es dient als Node.js-Backend-Starter und als Grundlage für den Aufbau skalierbarer Frontend- und Backend-Dienste. Das Projekt bietet eine vorkonfigurierte Umgebung für Full-Stack-Web-Bootstrapping, wobei der Fokus auf einem modernen Entwicklungs-Workflow liegt, der Frontend-, Backend- und Datenbankkonfiguration integriert. Es enthält eine Frontend-Komponentenbibliothek für die Erstellung konsistenter und responsiver Benutzeroberflächen. Der Stack erleichtert das schnelle Prototyping von Anwendungen und das Deployment in die Produktion durch eine integrierte Reihe von Tools. Dies umfasst serverseitiges Rendering, relationale Speicherung, eine typsichere ORM-Schicht und Utility-basiertes Styling.

ihp is a type-safe web framework and full-stack application orchestrator designed for PostgreSQL. It functions as a server-side rendering framework and a type-safe ORM that automatically generates record types from SQL schemas to ensure compile-time query validation. The platform distinguishes itself by verifying routing, database queries, and templates at compile time to prevent runtime crashes. It implements real-time web interfaces using WebSockets for instant data synchronization and employs server-driven hypermedia for partial DOM patching. The framework covers a broad range of integrat

Poem ist ein umfassendes Toolkit für die Erstellung typsicherer Webanwendungen, APIs und Server unter Verwendung der Programmiersprache Rust. Es bietet eine Grundlage für die Entwicklung von Webservern, die HTTP-Anfragen mit starker Typsicherheit handhaben. Das Framework zeichnet sich dadurch aus, dass es mehrere Kommunikationsprotokolle durch ein protokollunabhängiges Handler-Mapping unterstützt. Dies ermöglicht es, eine einzige interne Logik über HTTP, gRPC-Dienste unter Verwendung von Protobuf-Definitionen und das Model Context Protocol für die KI-Modellintegration bereitzustellen. Zudem enthält es integrierte Tools zur Generierung von OpenAPI-v3-Spezifikationen und interaktiver Dokumentation. Das Projekt deckt eine breite Palette an Funktionen ab, einschließlich Request-Routing, Trait-basierter Middleware-Pipelines und Sitzungsmanagement. Es bietet Sicherheitsfunktionen wie ACME-basierte automatisierte TLS-Zertifikatserneuerung, CSRF-Schutz und CORS-Konfiguration. Weitere integrierte Funktionen umfassen Echtzeit-Daten-Streaming via WebSockets und Server-Sent Events, Bereitstellung statischer Assets und OpenTelemetry-Integration für verteiltes Request-Tracing. Das Framework ist darauf ausgelegt, diverse Deployment-Ziele zu unterstützen, einschließlich der Möglichkeit, Webanwendungen als ereignisgesteuerte serverlose Funktionen innerhalb von Cloud-Runtimes auszuführen.