The repository for high quality TypeScript type definitions.
TypeScript
Updated Mar 22, 2019
#
types
Repositories 362
Optional static typing for Python 2 and 3 (PEP 484)
Python
Updated Mar 22, 2019
A simple and composable way to validate data in Javascript.
JavaScript
Updated Mar 7, 2019
*DEPRECATED* The TypeScript Definition Manager
Python Data Structures for Humans™.
Python
Updated Feb 28, 2019
TypeScript compatible runtime type system for IO decoding/encoding
A collection of essential TypeScript types
A static type analyzer for Python code
The Lux Programming Language
language
programming-language
macros
functional-programming
lisp
haskell
clojure
functional-languages
types
Clojure
Updated Mar 22, 2019
A linter that suggests interface types
Go
Updated Sep 1, 2018
Runtime validation for static types
TypeScript
Updated Mar 21, 2019
Flexible type system for Ruby with coercions and constraints
Work related to PEP 484: typing.py (released via PyPI) and issue tracker
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Strict TypeScript and Flow types for style based on MDN data
TypeScript
Updated Mar 5, 2019
Improvements to PHP's type system in userland: generics, typed lists, tuples and structs
PHP
Updated Nov 16, 2018
Immutable and structurally typed data
JavaScript
Updated Sep 5, 2018
MOVED TO GITLAB
JavaScript
Updated Jan 8, 2018
Typed Racket
Racket
Updated Mar 22, 2019
All basic TypeScript types in one place 🤙
TypeScript
Updated Mar 10, 2019
A simple plugin that allows running mypy from PyCharm and navigate between errors
Java
Updated Nov 28, 2018
Typed struct and value objects
Ruby
Updated Mar 22, 2019
Typed Regular Expressions
OCaml
Updated Oct 18, 2018
Generic Programming using True Sums of Products
Haskell
Updated Mar 11, 2019
Delivers struct types for Java programming language.
Java
Updated Dec 5, 2018
TypeScript
Updated Dec 2, 2018
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Rust
Updated Apr 3, 2017
Auto generation of type-safe bindings between Reason and Typescript.
Updated Oct 2, 2018
Mypy plugin and stubs for SQLAlchemy
Ruby
Updated Jul 1, 2018