Build software better, together

DefinitelyTyped / DefinitelyTyped

21.9k

The repository for high quality TypeScript type definitions.

typescript definition dts types typings typescript-definitions

TypeScript Updated May 1, 2019

python / mypy

5.9k

Optional static typing for Python 3 and 2 (PEP 484)

python types typing typechecker linter

Python Updated Apr 30, 2019

ianstormtaylor / superstruct

3.8k

A simple and composable way to validate data in Javascript.

validation types interface structs schema javascript

JavaScript Updated Apr 4, 2019

typings / typings Archived

3.3k

*DEPRECATED* The TypeScript Definition Manager

typescript typings types javascript definition management

TypeScript Updated Jul 24, 2017 17 issues need help

schematics / schematics

2.2k

Python Data Structures for Humans™.

python validation datastructures types schema serialization deserialization

Python Updated Feb 28, 2019

google / pytype

1.9k

A static type analyzer for Python code

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

Python Updated Apr 30, 2019 1 issue needs help

gcanti / io-ts

1.6k

Runtime type system for IO decoding/encoding

typescript validation inference types runtime

TypeScript Updated Apr 2, 2019 1 issue needs help

sindresorhus / type-fest

1.4k

A collection of essential TypeScript types

typescript-definitions typescript types utilities npm-package

TypeScript Updated Apr 26, 2019 2 issues need help

LuxLang / lux

1k

The Lux Programming Language

language programming-language macros functional-programming lisp haskell clojure functional-languages types

Clojure Updated Apr 28, 2019

mvdan / interfacer Archived

717

A linter that suggests interface types

go linter interface types

Go Updated Sep 1, 2018

pelotom / runtypes

533

Runtime validation for static types

typescript runtime types validation

TypeScript Updated Apr 30, 2019

dry-rb / dry-types

529

Flexible type system for Ruby with coercions and constraints

dry-rb types coercion constraints ruby

Ruby Updated Apr 23, 2019

python / typing

495

Work related to PEP 484: typing.py (released via PyPI) and issue tracker

python types typing static-typing gradual-typing

Python Updated Apr 30, 2019 2 issues need help

cristianoc / genType

386

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

types javascript reasonml flowtype bucklescript type-safety typescript

OCaml Updated Apr 24, 2019 1 issue needs help

frenic / csstype

365

Strict TypeScript and Flow types for style based on MDN data

typescript types css style flow mdn

TypeScript Updated Apr 29, 2019

spatie / typed

296

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

types generics tuples structs

PHP Updated Nov 16, 2018

typed-immutable / typed-immutable

260

Immutable and structurally typed data

immutablejs immutable types record structure schema typed data persistent datastructure functional

JavaScript Updated Sep 5, 2018

racket / typed-racket

234

Typed Racket

racket types

Racket Updated May 1, 2019

philbooth / check-types.js Archived

230

MOVED TO GITLAB

predicates assert type-checking types assertions duck-typing

JavaScript Updated Jan 8, 2018

krzkaczor / ts-essentials

220

All basic TypeScript types in one place 🤙

typescript types essentials type-level-programming

TypeScript Updated May 1, 2019 1 issue needs help

dropbox / mypy-PyCharm-plugin

181

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

mypy pycharm python typing types type-checking

Java Updated Apr 11, 2019

dry-rb / dry-struct

166

Typed struct and value objects

dry-rb data-modeling type-safety data ruby types constraints struct value-object

Ruby Updated Apr 23, 2019

typedefs / typedefs

141

Programming language agnostic type construction language based on polynomials.

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

Idris Updated May 1, 2019 1 issue needs help

Drup / tyre

127

Typed Regular Expressions

regex types gadt ocaml

OCaml Updated Apr 28, 2019

well-typed / generics-sop

116

Generic Programming using True Sums of Products

haskell generic-programming types

Haskell Updated Mar 11, 2019

sorbet / sorbet-typed

115

A central repository for sharing type definitions for Ruby gems

ruby types

Ruby Updated Apr 23, 2019

TehLeo / junion

97

Delivers struct types for Java programming language.

java struct types

Java Updated Dec 5, 2018

qworks-io / monads

87

👻 Type safe Option and Result type – for TypeScript and JavaScript

monads javascript typescript types option result rust nodejs

TypeScript Updated Dec 2, 2018

dropbox / sqlalchemy-stubs

86

Mypy plugin and stubs for SQLAlchemy

types typing stubs mypy python sql sqlalchemy

Python Updated Apr 27, 2019 3 issues need help

pcan / reflec-ts

78

TypeScript compiler with Reflection capabilities

typescript reflection types metadata

TypeScript Updated Jun 1, 2018 1 issue needs help

types

Repositories 374

typings / typings Archived

mvdan / interfacer Archived

philbooth / check-types.js Archived