Awesome GitHub RepositoriesType-Safe API Frameworks

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

Hono is a lightweight web framework built on Web Standard APIs that executes across JavaScript runtimes including Cloudflare Workers, Deno, Bun, and Node.js.

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

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

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

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

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

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

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

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

ServiceStack est un framework web .NET haute performance conçu pour construire des API typées en utilisant des objets de requête et de réponse fortement typés. Il fonctionne comme un moteur d'API basé sur les messages qui découple la logique métier de la couche de transport, permettant aux services d'être exposés via plusieurs protocoles incluant HTTP, gRPC et divers fournisseurs de files d'attente de messages. Le framework se distingue par son générateur d'API typé, qui produit des SDK clients natifs et des objets de transfert de données (DTO) à partir des métadonnées de service dans plusieurs langages. Il inclut également une passerelle de service distribuée pour l'orchestration de microservices, un ORM code-first pour traduire directement les objets C# en enregistrements de base de données, et un système centralisé de gestion des identités et des accès pour un accès sécurisé basé sur des jetons. Sa surface de capacités plus large couvre la messagerie asynchrone et le streaming d'événements en temps réel via Pub-Sub et Server-Sent Events. Il fournit une prise en charge complète de la sérialisation des données pour des formats tels que JSON, XML, ProtoBuf et MessagePack, aux côtés de flux d'authentification intégrés incluant JWT, clés API et authentification step-up. L'outillage supplémentaire inclut la génération automatisée d'API CRUD, l'exécution de tâches en arrière-plan et des modèles de tableau de bord administratif.

Trailbase est une plateforme backend-as-a-service livrée sous forme d'exécutable unique qui intègre un moteur de base de données en temps réel, un gestionnaire d'identités et d'accès, et un générateur d'API typé. Elle fournit un environnement backend complet incluant un moteur de stockage basé sur SQLite et un serveur runtime WebAssembly pour exécuter une logique personnalisée. La plateforme se distingue en transformant automatiquement les schémas de base de données en API JSON avec des liaisons client multi-langages et en permettant l'exécution de composants portables pour le rendu côté serveur et des routes HTTP personnalisées. Elle incorpore en outre des capacités de base de données vectorielle pour prendre en charge le stockage d'embeddings et la recherche vectorielle basée sur la similarité. Le système couvre un large éventail de capacités opérationnelles, notamment l'authentification des utilisateurs avec prise en charge de la connexion sociale, des listes de contrôle d'accès pour la visibilité des données et une synchronisation pub-sub pour les mises à jour de données en direct. Elle fournit également des outils pour gérer les schémas de base de données via des migrations SQL et gérer les données géospatiales.

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

tsoa est un framework d'API TypeScript et un générateur d'API REST OpenAPI. Il convertit les contrôleurs et modèles TypeScript en spécifications OpenAPI et configurations de routage pour les serveurs Node, garantissant que les définitions de code et la documentation d'API restent synchronisées. L'outil fonctionne comme un générateur de spécification OpenAPI et un validateur de requête REST. Il extrait les chemins, les schémas de requête et les modèles de réponse du code source pour produire des documents OpenAPI standard et fournit une couche middleware pour vérifier que les payloads HTTP entrants correspondent aux schémas définis en TypeScript. Le projet couvre la gestion des routes RESTful et la validation des requêtes d'API. Il utilise l'analyse de type statique pour convertir les types de langage en définitions de schéma JSON et emploie une génération basée sur des templates pour mapper les métadonnées du contrôleur vers les routes du serveur.

This is a library for building command-line interfaces in Swift. It converts command-line arguments into type-safe Swift properties using a declarative approach, ensuring that inputs match expected data types to prevent runtime errors. The framework supports the creation of complex command hierarchies through nested subcommands. It automatically generates formatted usage documentation and error messages by deriving information from the defined metadata and types. The system utilizes property wrappers to attach parsing logic to types and employs reflection to extract metadata from property na