Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with types

A curated list of projects in awesome lists tagged with types .

https://github.com/definitelytyped/definitelytyped

The repository for high quality TypeScript type definitions.

definition dts hacktoberfest types typescript typescript-definitions typings

Last synced: 09 Sep 2025

https://github.com/DefinitelyTyped/DefinitelyTyped

The repository for high quality TypeScript type definitions.

definition dts hacktoberfest types typescript typescript-definitions typings

Last synced: 14 Mar 2025

https://github.com/python/mypy

Optional static typing for Python

linter python typechecker types typing

Last synced: 17 Dec 2025

https://github.com/sindresorhus/type-fest

A collection of essential TypeScript types

npm-package types typescript typescript-definitions utilities

Last synced: 31 Jan 2026

https://github.com/microsoft/typechat

TypeChat is a library that makes it easy to build natural language interfaces using types.

ai llm natural-language types

Last synced: 13 May 2025

https://github.com/microsoft/TypeChat

TypeChat is a library that makes it easy to build natural language interfaces using types.

ai llm natural-language types

Last synced: 28 Mar 2025

https://github.com/ianstormtaylor/superstruct

A simple and composable way to validate data in JavaScript (and TypeScript).

interface javascript schema structs types typescript validation

Last synced: 14 May 2025

https://github.com/gcanti/io-ts

Runtime type system for IO decoding/encoding

inference runtime types typescript validation

Last synced: 14 May 2025

https://gcanti.github.io/io-ts/

Runtime type system for IO decoding/encoding

inference runtime types typescript validation

Last synced: 08 Apr 2025

https://github.com/google/pytype

A static type analyzer for Python code

linter python static-analysis static-code-analysis typechecker types typing

Last synced: 13 May 2025

https://github.com/python/typeshed

Collection of library stubs for Python, with static types

python stub types typing

Last synced: 09 Sep 2025

https://github.com/ts-essentials/ts-essentials

All essential TypeScript types in one place 🤙

essentials toolbox type-level-programming types typescript

Last synced: 12 May 2025

https://github.com/flow-typed/flow-typed

A central repository for Flow library definitions

cli flow flowtype hacktoberfest libdefs types

Last synced: 13 May 2025

https://github.com/sorbet/sorbet

A fast, powerful type checker designed for Ruby

ruby sorbet types

Last synced: 07 Mar 2026

https://github.com/typings/typings

*DEPRECATED* The TypeScript Definition Manager

definition javascript management types typescript typings

Last synced: 27 Sep 2025

https://github.com/adelsz/pgtyped

pgTyped - Typesafe SQL in TypeScript

generator postgres postgresql query sql type-safety types typescript

Last synced: 16 May 2025

https://github.com/runtypes/runtypes

Runtime validation for static types

runtime types typescript validation

Last synced: 11 May 2025

https://github.com/kaleidawave/ezno

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

compiler javascript typechecker types typescript

Last synced: 23 Apr 2025

https://github.com/mypyc/mypyc

Compile type annotated Python to fast C extensions

compiler python types

Last synced: 15 May 2025

https://github.com/frenic/csstype

Strict TypeScript and Flow types for style based on MDN data

css flow mdn style types typescript

Last synced: 13 May 2025

https://github.com/python/typing

Python static typing home. Hosts the documentation and a user help forum.

gradual-typing python static-typing types typing

Last synced: 15 May 2025

https://github.com/aleph-alpha/ts-rs

Generate TypeScript bindings from Rust types

binding-generator bindings code-generation rust rust-to-typescript types typescript

Last synced: 12 May 2025

https://github.com/Aleph-Alpha/ts-rs

Generate TypeScript bindings from Rust types

binding-generator bindings code-generation rust rust-to-typescript types typescript

Last synced: 17 Mar 2025

https://github.com/lukasbach/react-complex-tree

Unopinionated Accessible Tree Component with Multi-Select and Drag-And-Drop

accessible component dnd drag-and-drop draggable hotkeys keyboard react rename search tree types typescript unopinionated

Last synced: 29 Apr 2025

https://github.com/typetools/checker-framework

Pluggable type-checking for Java

java types verification

Last synced: 02 Feb 2026

https://github.com/slavovojacek/monads

Option, Result, and Either types for TypeScript - Inspired by Rust 🦀

either javascript monads node nodejs option result rust types typescript

Last synced: 27 Dec 2025

https://github.com/dry-rb/dry-types

Flexible type system for Ruby with coercions and constraints

coercion constraints dry-rb ruby types

Last synced: 12 May 2025

https://github.com/rescript-association/genType

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

bucklescript flowtype javascript reasonml type-safety types typescript

Last synced: 28 Mar 2025

https://github.com/moltar/typescript-runtime-type-benchmarks

📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support

benchmark benchmarks decoders json runtypes types typescript typescript-support validation validation-library

Last synced: 27 Mar 2025

https://github.com/gzuidhof/tygo

Generate Typescript types from Golang source code

codegen golang types typescript

Last synced: 15 May 2025

https://github.com/thames-technology/monads

Option, Result, and Either types for TypeScript - Inspired by Rust 🦀

either javascript monads node nodejs option result rust types typescript

Last synced: 07 Apr 2025

https://github.com/mvdan/interfacer

A linter that suggests interface types

go interface linter types

Last synced: 10 May 2025

https://github.com/dropbox/sqlalchemy-stubs

Mypy plugin and stubs for SQLAlchemy

mypy python sql sqlalchemy stubs types typing

Last synced: 14 May 2025

https://github.com/mukul-rathi/bolt

Bolt is a language with in-built data-race freedom!

compilers concurrency data-race-freedom language static-analysis types

Last synced: 17 Apr 2025

https://github.com/oleiade/reflections

High level abstractions over the Go reflect library

go golang reflect reflection runtime types

Last synced: 23 Oct 2025

https://github.com/racket/typed-racket

Typed Racket

racket types

Last synced: 27 Jan 2026

https://github.com/Iltotore/iron

Strong type constraints for Scala

assert functional-programming refinement-types scala types

Last synced: 27 Mar 2025

https://github.com/wevm/abitype

Strict TypeScript types for Ethereum ABIs

abi ethereum static-types type-inference types typescript web3

Last synced: 13 May 2025

https://github.com/ghaiklor/type-challenges-solutions

Solutions for the collection of TypeScript type challenges with explanations

challenge challenges-solved explanation multi-language playground solution types typescript

Last synced: 04 Apr 2025

https://github.com/gleam-lang/stdlib

🎁 Gleam's standard library

gleam stdlib types

Last synced: 11 Jun 2025

https://github.com/enthought/traits

Observable typed attributes for Python classes

attributes dataclasses gui observer-pattern python runtime-typechecking types

Last synced: 14 May 2025

https://github.com/arthurfiorette/prisma-json-types-generator

⚒️ Changes JsonValues to your custom typescript type.

generator json prisma safe safety type types typescript

Last synced: 14 May 2025

https://github.com/nix-community/noogle

https://noogle.dev - nix function exploring. [maintainer=@hsjobeki]

explore functions nix nixos nixpkgs search types

Last synced: 16 May 2025

https://github.com/mistlog/typetype

A programming language designed for typescript type generation

type type-system types typescript

Last synced: 05 Apr 2025

https://github.com/yuvraj24/react-native-stories-view

A simple and fully customizable React Native component that implements a status/stories feature similar to Whatsapp & Instagram ⭐✨🌟

android component component-library create-react-app cross-platform ios javascript js native props react react-dom react-hooks react-native render types typescript useeffect usereducer usestate

Last synced: 12 Apr 2025

https://github.com/roogle-rs/roogle

A Rust API search engine

rust search-engine types

Last synced: 27 Mar 2025

https://github.com/dotansimha/graphql-typed-document-node

An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.

generated graphql graphql-codegen types typescript

Last synced: 14 May 2025

https://github.com/unional/type-plus

Additional types and types adjusted utilities for TypeScript

npm-package type-level-programming type-system types typescript typescript-definitions utilities

Last synced: 14 May 2025

https://github.com/sorbet/sorbet-typed

A central repository for sharing type definitions for Ruby gems

ruby sorbet types

Last synced: 05 Apr 2025

https://github.com/getify/typl

The Type Linter for JS

assertion javascript linter types

Last synced: 06 Apr 2025

https://github.com/metatypedev/metatype

Declarative API development platform. Build backend components with WASM, Typescript and Python, no matter where and how your (legacy) systems are.

api backend-for-frontend composition gateway graphql materializer meta policy rest runtime serverless types typesystem wasm

Last synced: 11 Apr 2025

https://github.com/getify/TypL

The Type Linter for JS

assertion javascript linter types

Last synced: 27 Mar 2025

https://github.com/typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

category-theory f-algebras marshalling serialization serialization-library type-definitions type-theory types

Last synced: 31 Mar 2025

https://github.com/poomsmart/idaobjctypes

A collection of types & functions definitions useful for iOS/macOS binaries analysis.

analysis binaries definitions functions ghidra headers ida-pro objc types

Last synced: 16 May 2025

https://github.com/yippee-fun/literal

A literal Ruby gem. 💎

enums ruby types

Last synced: 24 Feb 2026

https://github.com/spatie/typed

Improvements to PHP's type system in userland: generics, typed lists, tuples and structs

generics structs tuples types

Last synced: 09 Jul 2025

https://github.com/dropbox/mypy-pycharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors

mypy pycharm python type-checking types typing

Last synced: 09 Apr 2025

https://github.com/dropbox/mypy-PyCharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors

mypy pycharm python type-checking types typing

Last synced: 13 May 2025

https://github.com/meadsteve/lagom

📦 Autowiring dependency injection container for python 3

dependency-injection django fastapi flask mypy python3 starlette types

Last synced: 15 May 2025

https://github.com/nishanths/exhaustive

Check exhaustiveness of switch statements of enum-like constants in Go source code.

ast go types vet

Last synced: 14 May 2025

https://github.com/ocsigen/eliom

Multi-tier framework for programming web and mobile applications in OCaml.

full-stack full-stack-web-development fullstack-development mobile-development ocaml ocsigen tierless types web

Last synced: 08 Apr 2025

https://github.com/alaingalvan/webgpu-seed

🔺🌱 An example on how to render a hello triangle with WebGPU.

definitions dts types typescript typescript-definitions typings webgpu

Last synced: 07 Apr 2025

https://github.com/dwyl/phoenix-ecto-encryption-example

🔐 A detailed example for how to encrypt data in an Elixir (Phoenix v1.7) App before inserting into a database using Ecto Types

aes aes-256 aes-gcm argon2 custom database ecto elixir encryption learn phoenix tutorial types

Last synced: 30 Mar 2025

https://github.com/joeldrapper/literal

A literal Ruby gem. 💎

enums ruby types

Last synced: 14 Apr 2025

https://github.com/scalarhq/nominal

🔒 The new way to do types in typescript.

type-safety types typescript

Last synced: 13 Apr 2025

https://github.com/ltworf/typedload

MIGRATED TO CODEBERG. Python library to load dynamically typed data into statically typed data structures

dataclass enums json json-schema mypy namedtuple pydantic python python3 schema types typing

Last synced: 26 Mar 2025

https://github.com/davidwells/types-with-jsdocs

Using JSDoc for Typescript Types

example jsdoc types typescript typescript-library

Last synced: 09 Apr 2025

https://github.com/DavidWells/types-with-jsdocs

Using JSDoc for Typescript Types

example jsdoc types typescript typescript-library

Last synced: 23 Aug 2025

https://github.com/gleam-lang/http

🕸️ Types and functions for HTTP clients and servers!

gleam http types

Last synced: 08 Feb 2026

https://github.com/TypeStrong/ts-expect

Checks TypeScript types match expected values

expect type-check types typescript

Last synced: 27 Mar 2025

https://github.com/gvergnaud/type-level-typescript-workshop

Interactive exercises to get familiar with TypeScript's most advanced features

course tutorial type-level-programming types typescript workshop

Last synced: 17 Jul 2025

https://github.com/sdleffler/tarpit-rs

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

rust rust-language turing-completeness turing-tarpit type-system types

Last synced: 13 Jul 2025

https://github.com/helios1138/graphql-typed-client

A tool that generates a strongly typed client library for any GraphQL endpoint. The client allows writing GraphQL queries as plain JS objects (with type safety, awesome code completion experience, custom scalar type mapping, type guards and more)

client code-generation codegen custom-scalar dts dtsfiles graphql interfaces javascript node nodejs scalar scalar-types type-annotations types typescript typescript-interfaces typings

Last synced: 05 Apr 2025

https://github.com/pyoner/svelte-typescript

Typescript monorepo for Svelte v3 (preprocess, template, types)

preprocess preprocessor rollup-plugin svelte svelte-v3 template types typescript

Last synced: 05 Oct 2025

https://github.com/lukasbach/monaco-editor-auto-typings

Automatically load declaration files while typing in monaco editor instances

declaration hacktoberfest ide monaco-editor types typescript typescript-definitions

Last synced: 15 May 2025

https://github.com/xnuinside/simple-ddl-parser

Simple DDL Parser to parse SQL (HQL, TSQL, AWS Redshift, BigQuery, Snowflake and other dialects) ddl files to json/python dict with full information about columns: types, defaults, primary keys, etc. & table properties, types, domains, etc.

bigquery columns ddl ddl-parser ddls hive hql mssql mysql oracle-database oracle-db parser postgresql redshift schemas snowflake sql sql-parser tsql types

Last synced: 18 Jan 2026

https://github.com/kparc/kcc

k crash course

functions k nsl style types vectors

Last synced: 04 Apr 2025

https://github.com/lazear/types-and-programming-languages

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

lambda-calculus programming-languages tapl type-theory types types-and-programming-languages

Last synced: 28 Jan 2026

https://github.com/tehleo/junion

Delivers struct types for Java programming language.

java struct types

Last synced: 16 Oct 2025

https://github.com/Drup/tyre

Typed Regular Expressions

gadt ocaml regex types

Last synced: 07 May 2025

https://github.com/drup/tyre

Typed Regular Expressions

gadt ocaml regex types

Last synced: 01 Oct 2025

https://github.com/saiichihashimoto/sanity-typed

Completing sanity's developer experience with typescript (and more)!

cms groq sanity sanity-io types typescript

Last synced: 17 Feb 2026

https://github.com/php-strictus/strictus

Strict Typing on inline variables for PHP

php php8 strict-types types

Last synced: 06 Apr 2025

https://github.com/well-typed/generics-sop

Generic Programming using True Sums of Products

generic-programming haskell types

Last synced: 01 May 2025