types
There are 2063 repositories under types topic.
goldbergyoni/nodebestpractices
:white_check_mark: The Node.js best practices list (July 2024)
DefinitelyTyped/DefinitelyTyped
The repository for high quality TypeScript type definitions.
python/mypy
Optional static typing for Python
sindresorhus/type-fest
A collection of essential TypeScript types
microsoft/TypeChat
TypeChat is a library that makes it easy to build natural language interfaces using types.
ianstormtaylor/superstruct
A simple and composable way to validate data in JavaScript (and TypeScript).
millsp/ts-toolbelt
👷 TypeScript's largest type utility library
gcanti/io-ts
Runtime type system for IO decoding/encoding
google/pytype
A static type analyzer for Python code
python/typeshed
Collection of library stubs for Python, with static types
ts-essentials/ts-essentials
All essential TypeScript types in one place 🤙
flow-typed/flow-typed
A central repository for Flow library definitions
sorbet/sorbet
A fast, powerful type checker designed for Ruby
typings/typings
*DEPRECATED* The TypeScript Definition Manager
adelsz/pgtyped
pgTyped - Typesafe SQL in TypeScript
runtypes/runtypes
Runtime validation for static types
schematics/schematics
Python Data Structures for Humans™.
kaleidawave/ezno
A fast and correct TypeScript type checker and compiler with additional experiments
mypyc/mypyc
Compile type annotated Python to fast C extensions
frenic/csstype
Strict TypeScript and Flow types for style based on MDN data
LuxLang/lux
The Lux Programming Language
python/typing
Python static typing home. Hosts the documentation and a user help forum.
Aleph-Alpha/ts-rs
Generate TypeScript bindings from Rust types
typetools/checker-framework
Pluggable type-checking for Java
lukasbach/react-complex-tree
Unopinionated Accessible Tree Component with Multi-Select and Drag-And-Drop
dry-rb/dry-types
Flexible type system for Ruby with coercions and constraints
thames-technology/monads
Option, Result, and Either types for TypeScript - Inspired by Rust 🦀
rescript-association/genType
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
mvdan/interfacer
A linter that suggests interface types
moltar/typescript-runtime-type-benchmarks
📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support
gzuidhof/tygo
Generate Typescript types from Golang source code
stepchowfun/typical
Data interchange with algebraic data types.
mukul-rathi/bolt
Bolt is a language with in-built data-race freedom!
dropbox/sqlalchemy-stubs
Mypy plugin and stubs for SQLAlchemy
breandan/kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
oleiade/reflections
High level abstractions over the Go reflect library