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

12 repos

Awesome GitHub RepositoriesType Systems

Mechanisms and language features that define data structures, enforce safety, and manage type behavior within software.

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

  1. Home
  2. Programming Languages & Runtimes
  3. Programming Language Varieties
  4. Programming Languages
  5. Type Systems

Awesome Type Systems GitHub Repositories

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

    golang/go

    132,649GitHubView on GitHub↗

    Go is a statically typed, compiled programming language designed for building scalable, concurrent software. It provides a memory-safe execution environment that combines a high-performance runtime with a self-hosting compiler toolchain, enabling the creation of statically linked machine code binaries without external

    Gogogolanglanguage
  • rust-lang/rust

    rust-lang/rust

    110,533GitHubView on GitHub↗

    Rust is a programming language designed for memory safety and performance. It provides a comprehensive curriculum that covers fundamental syntax, memory management, and advanced programming paradigms, including support for functional and object-oriented styles. The language features a strong type system that enforces m

    Rustcompilerlanguagerust
  • denoland/deno

    denoland/deno

    106,258GitHubView on GitHub↗

    Deno is a high-performance runtime for JavaScript and TypeScript that prioritizes security and developer productivity. Built on the V8 engine, it provides a secure execution environment that enforces a default-deny security model, requiring explicit user authorization for access to system resources like the file system

    Rustdenojavascriptrust
  • opencv/opencv

    opencv/opencv

    86,238GitHubView on GitHub↗

    OpenCV is a comprehensive computer vision library designed for real-time performance and cross-platform deployment. It provides a native execution environment that leverages multi-threaded operations and automated memory management to handle intensive computational tasks, including image processing and machine learning

    C++c-plus-pluscomputer-visiondeep-learning
  • swiftlang/swift

    swiftlang/swift

    69,781GitHubView on GitHub↗

    Swift is a high-performance, general-purpose programming language designed for safety and speed. It features a modular compiler front-end that transforms source code into optimized machine binaries, utilizing a value-oriented type system that prioritizes predictable state management through value and reference types. T

    C++
  • AppFlowy-IO/AppFlowy

    AppFlowy-IO/AppFlowy

    68,167GitHubView on GitHub↗

    AppFlowy is a local-first knowledge base and collaborative workspace platform designed for structured information management. It functions as a modular productivity suite where users organize content through a block-based document model, allowing for flexible nesting and granular manipulation of data. The system priori

    Dartblogconfluence-alternativecontent-management
  • leonardomso/33-js-concepts

    leonardomso/33-js-concepts

    66,252GitHubView on GitHub↗

    This project is a comprehensive educational repository designed to help developers master the core mechanics, runtime behaviors, and browser-native capabilities of the JavaScript language. It provides a structured knowledge base that covers fundamental language features, such as prototype-based inheritance and event-lo

    JavaScriptangularconceptses6
  • nuxt/nuxt

    nuxt/nuxt

    59,659GitHubView on GitHub↗

    Nuxt is a universal web framework designed for building full-stack applications that seamlessly transition between server-side rendering and client-side interactivity. It provides a comprehensive development environment that automates routing, dependency injection, and type generation, allowing developers to focus on a

    TypeScriptcsrframeworkfull-stack
  • Asabeneh/30-Days-Of-Python

    Asabeneh/30-Days-Of-Python

    58,305GitHubView on GitHub↗

    This project is a structured educational curriculum designed to guide beginners through the fundamental concepts and syntax of the Python programming language. It functions as a self-paced technical training resource, providing a curated path for individuals to acquire core software development skills through a series

    Python30-days-of-pythondatadata-science
  • pmndrs/zustand

    pmndrs/zustand

    57,057GitHubView on GitHub↗

    Zustand is a state management library that provides a centralized store for managing shared application data. It functions as a reactive container that connects application state to components, allowing them to subscribe to specific slices of data and trigger updates automatically. By utilizing selector-based data acce

    TypeScripthacktoberfesthooksreact
  • 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
  • JetBrains/kotlin

    JetBrains/kotlin

    52,346GitHubView on GitHub↗

    Kotlin is a statically typed, general-purpose programming language designed for type safety and concise syntax. It functions as a cross-platform development toolkit that enables the sharing of business logic across mobile, web, and server-side environments by compiling a unified intermediate representation into platfor

    Kotlincompilergradle-pluginintellij-plugin

Explore sub-tags

  • Build-Time Type GeneratorsAutomated processes that generate type definitions from project configuration or file structures during the build phase.
  • Component Type DefinitionsSupport for type-safe component properties, events, and template expressions within UI component frameworks.
  • Declaration File ProvidersMechanisms for associating type definitions with JavaScript modules.
  • Dynamic Type Systems
Systems where variable types are resolved and validated during program execution.
  • Fixed Pixel TypesPrimitive data types optimized for pixel-level operations with runtime dispatching.
  • Global Type AugmentationsMechanisms for extending the global namespace with custom type definitions or polyfills.
  • Memory-Safe Core LogicApplication logic layers implemented in memory-safe environments to ensure secure and reliable data processing.
  • Memory-Safe Systems LanguagesLow-level programming languages that enforce strict memory safety and concurrency rules at the language level.
  • Reactive State TypingMechanisms for defining and constraining the types of reactive state containers and references.
  • Reference TypesData structures that share state via object identity.
  • Statically Typed LanguagesGeneral-purpose programming languages that enforce type safety through static analysis during the compilation process.
  • Structural Type SystemsPolymorphism based on implicit method set implementation.
  • Trait BoundsConstraints applied to generic types using traits.
  • TraitsInterfaces for defining shared behavior across types.
  • Type-Safe State ArchitecturesPatterns for defining strict, type-checked data structures for application state.
  • Value-Oriented Type SystemsType systems prioritizing value semantics and copy-on-write behavior.