14 repository-uri
Web frameworks that leverage static type systems to ensure data integrity and contract safety across API endpoints.
Distinguishing note: Focuses on end-to-end type safety in API development rather than generic type-checking tools.
Explore 14 awesome GitHub repositories matching web development · Type-Safe API Frameworks. Refine with filters or upvote what's useful.
This project is a high-performance web framework designed for building scalable server-side applications with minimal resource consumption. It provides a type-safe runtime environment that leverages static analysis to ensure consistent data structures across request handlers and server configurations, facilitating reliable API development. The framework distinguishes itself through a schema-driven validation layer that enforces strict data integrity for incoming requests and outgoing responses using standardized definitions. It utilizes an encapsulated plugin architecture that organizes appli
Ensuring end-to-end data integrity and catching potential bugs early by leveraging static type definitions throughout the entire request lifecycle.
Hono is a lightweight web framework built on Web Standard APIs that executes across JavaScript runtimes including Cloudflare Workers, Deno, Bun, and Node.js.
Ensures end-to-end type safety by sharing TypeScript definitions between server and client.
Elysia is a high-performance TypeScript web framework designed for building type-safe backend services. It provides a modular, plugin-based architecture that allows developers to compose server logic, middleware, and validation schemas into scalable application instances. By leveraging native web standards, the framework ensures portability across diverse JavaScript runtimes, including Node.js, Deno, and various edge computing environments. The framework distinguishes itself through its focus on end-to-end type safety, automatically synchronizing request and response definitions between the s
Synchronizes request and response types between server and client to ensure end-to-end type safety.
Moya is a network abstraction layer for Swift that provides a structured framework for defining and executing REST API requests. It functions as a type-safe API client that decouples network endpoint definitions from the underlying implementation details to prevent configuration errors and URL typos. The project distinguishes itself by using protocol-based endpoint definitions and a provider-coordinated execution model. It includes a system for mapping network responses to strongly typed objects and features a dedicated tool for generating type-safe network interface files from external REST
Transforms raw network bytes into strongly typed JSON objects or images using integrated serialization.
Encore is a distributed systems framework designed to unify backend development, infrastructure provisioning, and observability. It functions as an infrastructure-as-code platform that allows developers to define cloud resources, databases, and messaging topics directly within their application code. By analyzing these declarations at compile-time, the system automatically manages the deployment of cloud resources and security policies, ensuring parity between local development and production environments. The platform distinguishes itself through its integrated development experience, which
Provides a toolset for defining type-safe APIs with automated client library generation and network routing.
gqlgen is a schema-first Go library designed to build type-safe GraphQL servers. It functions as a code generation engine that transforms declarative GraphQL schema definitions into strongly-typed Go source code, ensuring strict alignment between the API contract and the underlying implementation. The framework distinguishes itself through its deep integration with the Go type system and its highly extensible build pipeline. By using schema-first development, it automates the creation of server boilerplate and resolver stubs, allowing developers to map schema fields directly to Go structs and
Ensures strict consistency between schema definitions and underlying data models through automated code generation.
Django Ninja is a high-performance framework for building type-safe REST APIs using Django. It functions as an OpenAPI API framework and a type-safe wrapper that utilizes Python type hints to handle request validation and response serialization. The project distinguishes itself by integrating Pydantic-based data modeling to convert JSON inputs into strongly typed Python objects. It automatically generates OpenAPI schemas and interactive documentation pages directly from defined endpoint signatures. The framework supports asynchronous request processing to handle concurrent tasks. It employs
Leverages Python's static type system to ensure data integrity and contract safety across API endpoints.
Litestar is a high-performance Python ASGI web framework designed for building asynchronous APIs and web services. It functions as a type-safe toolkit that leverages Python type hints to provide automatic request validation and response serialization, while natively generating interactive API documentation based on the OpenAPI specification. The framework is distinguished by its integrated dependency injection system, which manages shared resources and resolves complex nested service chains directly within request handlers. It further organizes API development through class-based controllers
A web toolkit that uses Python type hints for automatic request validation and response serialization.
Type-graphql is a toolkit and framework for creating type-safe GraphQL APIs. It functions as a schema generator and resolver library that uses TypeScript classes and decorators as the primary source of truth for data structures and query logic. The project enables the definition of GraphQL schemas and resolvers through typed classes rather than manual schema definition language. This approach ensures that TypeScript types automatically align with the GraphQL schema to prevent runtime errors. The framework provides capabilities for API implementation, including input data validation and acces
Leverages the TypeScript static type system to ensure the GraphQL schema and API contracts align.
Hug is a type-driven Python web framework designed for building APIs. It uses Python type annotations to automatically validate and convert incoming request data and to format outgoing responses. The framework functions as an automated documentation tool by extracting function signatures and markers from source code to generate accessible API specifications. It also supports non-blocking coroutines for asynchronous API processing to handle background tasks without interrupting the main request cycle. The project provides capabilities for REST API development, including route mapping, endpoin
Leverages Python type annotations to ensure data integrity and contract safety across endpoints.
ServiceStack este un framework web .NET de înaltă performanță conceput pentru construirea de API-uri type-safe folosind obiecte de cerere și răspuns puternic tipizate. Funcționează ca un motor API bazat pe mesaje care decuplează logica de business de stratul de transport, permițând serviciilor să fie expuse prin protocoale multiple, inclusiv HTTP, gRPC și diverși furnizori de cozi de mesaje. Framework-ul se distinge prin generatorul său de API type-safe, care produce SDK-uri native pentru clienți și obiecte de transfer de date (DTO) din metadatele serviciului în mai multe limbaje. Include, de asemenea, un gateway de servicii distribuit pentru orchestrarea microserviciilor, un ORM code-first pentru traducerea obiectelor C# direct în înregistrări de bază de date și un sistem centralizat de gestionare a identității și accesului pentru acces securizat bazat pe token-uri. Suprafața sa mai largă de capabilități acoperă mesageria asincronă și streaming-ul de evenimente în timp real prin Pub-Sub și Server-Sent Events. Oferă suport cuprinzător pentru serializarea datelor pentru formate precum JSON, XML, ProtoBuf și MessagePack, alături de fluxuri de autentificare integrate, inclusiv JWT, chei API și step-up authentication. Tooling-ul suplimentar include generarea automatizată de API-uri CRUD, execuția de job-uri în fundal și template-uri de dashboard administrativ.
Provides a high-performance framework that ensures end-to-end type safety by sharing request and response objects between server and client.
Trailbase este o platformă backend-as-a-service livrată ca un singur executabil care integrează un motor de bază de date în timp real, un manager de identitate și acces și un generator de API type-safe. Oferă un mediu backend cuprinzător, incluzând un motor de stocare bazat pe SQLite și un server runtime WebAssembly pentru executarea logicii personalizate. Platforma se distinge prin transformarea automată a schemelor de bază de date în API-uri JSON cu binding-uri client cross-language și prin permiterea execuției componentelor portabile pentru randarea pe partea de server și rute HTTP personalizate. Încorporează, de asemenea, capabilități de bază de date vectorială pentru a susține stocarea embedding-urilor și căutarea vectorială bazată pe similaritate. Sistemul acoperă o gamă largă de capabilități operaționale, inclusiv autentificarea utilizatorilor cu suport pentru social login, liste de control al accesului pentru vizibilitatea datelor și sincronizare pub-sub pentru actualizări de date live. Oferă, de asemenea, instrumente pentru gestionarea schemelor de bază de date prin migrări SQL și gestionarea datelor geospațiale.
Delivers REST and real-time endpoints with strict typing to ensure data integrity between server and client.
orpc is a contract-first API development framework for TypeScript that starts with a shared contract definition and generates type-safe clients and servers from that single source of truth. It guarantees end-to-end type safety, meaning inputs, outputs, errors, and streaming data are all checked at compile time across the client–server boundary. What distinguishes orpc from typical RPC frameworks is its ability to export contracts as OpenAPI specifications, to optimize server-side rendering by calling API handlers directly inside the server process, and to support real‑time bidirectional commu
A framework that defines typed API procedures with input/output validation and generates type-safe clients for end-to-end safety.
tsoa este un framework API TypeScript și generator de API REST OpenAPI. Convertește controllerele și modelele TypeScript în specificații OpenAPI și configurații de rutare pentru serverele Node, asigurând că definițiile codului și documentația API rămân sincronizate. Instrumentul funcționează ca un generator de specificații OpenAPI și un validator de cereri REST. Extrage căi, scheme de cerere și modele de răspuns din codul sursă pentru a produce documente OpenAPI standard și oferă un strat middleware pentru a verifica dacă payload-urile HTTP primite corespund schemelor definite în TypeScript. Proiectul acoperă gestionarea rutelor RESTful și validarea cererilor API. Utilizează analiza statică a tipurilor pentru a converti tipurile de limbaj în definiții de schemă JSON și folosește generarea bazată pe șabloane pentru a mapa metadatele controller-ului în rute de server.
Leverages static type analysis to synchronize server routing, request validation, and API documentation.