awesome-repositories.com
© 2026 Bringes Technology SRL·VAT RO45896025·hello@bringes.io
MCPSitemapPrivacyTerms
Type System Tools · Awesome GitHub Repositories

5 repos

Awesome GitHub RepositoriesType System Tools

Utilities and mechanisms used to define, enforce, and manage data types within a programming language's type system.

Explore 5 awesome GitHub repositories matching programming languages & runtimes · Type System Tools. Refine with filters or upvote what's useful.

  1. Home
  2. Programming Languages & Runtimes
  3. Language Features and Paradigms
  4. Type System Tools

Awesome Type System Tools GitHub Repositories

Describe the repository you're looking for…
We'll search the best matching repositories with AI.
  • microsoft/TypeScript

    microsoft/TypeScript

    107,866GitHubView on GitHub↗

    TypeScript is a language that extends standard syntax by adding a static type system. It identifies potential runtime errors by analyzing the behaviors and capabilities of values during the compilation process. The language supports object-oriented structures, including classes with inheritance and member visibility co

    TypeScriptjavascriptlanguagetypechecker
  • laravel/laravel

    laravel/laravel

    83,758GitHubView on GitHub↗

    Laravel is a comprehensive full-stack web framework designed for building scalable server-side applications. It provides an integrated development environment that centers on an object-relational mapper for database abstraction, a robust routing system, and a sophisticated service container for dependency injection. Th

    Bladeframeworklaravelphp
  • socketio/socket.io

    socketio/socket.io

    62,883GitHubView on GitHub↗

    Socket.io is a real-time communication engine that enables bidirectional, event-based data exchange between clients and servers. It provides a robust transport-agnostic protocol layer that automatically manages connection lifecycles, including heartbeat signals, automatic reconnection, and seamless fallback between Web

    TypeScriptjavascriptnodejssocket-io
  • remix-run/react-router

    remix-run/react-router

    56,250GitHubView on GitHub↗

    React Router is a navigation and data-loading framework that maps URL patterns to nested component hierarchies. It functions as a full-stack router, coordinating server-side resource fetching with client-side hydration to synchronize application state across different environments. By providing a declarative interface

    TypeScript
  • vuejs/core

    vuejs/core

    53,019GitHubView on GitHub↗

    Vue is a progressive JavaScript framework designed for building modular, reactive user interfaces. It utilizes a component-based architecture that allows developers to encapsulate logic, templates, and styles into reusable units. At its core, the framework employs a virtual DOM renderer and a proxy-based reactivity sys

    TypeScript

Explore sub-tags

  • Type Definitions1 sub-tagDeclarations and specifications used to define the structure and constraints of data types within a program.
  • Type Safety8 sub-tagsFrameworks and patterns that enforce data integrity and prevent errors through strict validation and structured type definitions.
  • Type System Integrations1 sub-tagTools that bridge different type systems to enable interoperability and consistent data handling across components.
Utility Types
1 sub-tag
Predefined generic types that simplify common transformations and modifications of existing data structures.