Build software better, together

DefinitelyTyped / DefinitelyTyped

21.1k

The repository for high quality TypeScript type definitions.

typescript definition dts types typings typescript-definitions

TypeScript Updated Mar 22, 2019

python / mypy

5.6k

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

python types typing typechecker linter

Python Updated Mar 22, 2019

ianstormtaylor / superstruct

3.8k

A simple and composable way to validate data in Javascript.

validation types interface structs schema javascript

JavaScript Updated Mar 7, 2019

typings / typings

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

gcanti / io-ts

1.5k

TypeScript compatible runtime type system for IO decoding/encoding

typescript validation inference types runtime

TypeScript Updated Mar 20, 2019 1 issue needs help

sindresorhus / type-fest

1.2k

A collection of essential TypeScript types

typescript-definitions typescript types utilities npm-package

TypeScript Updated Mar 21, 2019 2 issues need help

google / pytype

1.1k

A static type analyzer for Python code

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

Python Updated Mar 21, 2019 1 issue needs help

LuxLang / lux

1k

The Lux Programming Language

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

Clojure Updated Mar 22, 2019

mvdan / interfacer

717

A linter that suggests interface types

go linter interface types

Go Updated Sep 1, 2018

pelotom / runtypes

506

Runtime validation for static types

typescript runtime types validation

TypeScript Updated Mar 21, 2019

dry-rb / dry-types

506

Flexible type system for Ruby with coercions and constraints

dry-rb types coercion constraints ruby

Ruby Updated Mar 22, 2019 1 issue needs help

python / typing

474

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

python types typing static-typing gradual-typing

Python Updated Mar 7, 2019 2 issues need help

cristianoc / genType

366

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 Mar 22, 2019 1 issue needs help

frenic / csstype

337

Strict TypeScript and Flow types for style based on MDN data

typescript types css style flow mdn

TypeScript Updated Mar 5, 2019

spatie / typed

295

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

259

Immutable and structurally typed data

immutablejs immutable types record structure schema typed data persistent datastructure functional

JavaScript Updated Sep 5, 2018

philbooth / check-types.js

230

MOVED TO GITLAB

predicates assert type-checking types assertions duck-typing

JavaScript Updated Jan 8, 2018

racket / typed-racket

224

Typed Racket

racket types

Racket Updated Mar 22, 2019

krzkaczor / ts-essentials

179

All basic TypeScript types in one place 🤙

typescript types essentials type-level-programming

TypeScript Updated Mar 10, 2019

dropbox / mypy-PyCharm-plugin

172

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

mypy pycharm python typing types type-checking

Java Updated Nov 28, 2018

dry-rb / dry-struct

160

Typed struct and value objects

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

Ruby Updated Mar 22, 2019

Drup / tyre

124

Typed Regular Expressions

regex types gadt ocaml

OCaml Updated Oct 18, 2018

well-typed / generics-sop

115

Generic Programming using True Sums of Products

haskell generic-programming types

Haskell Updated Mar 11, 2019

TehLeo / junion

94

Delivers struct types for Java programming language.

java struct types

Java Updated Dec 5, 2018

litchi-io / monads

82

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

monads javascript typescript types option result rust nodejs

TypeScript Updated Dec 2, 2018

sdleffler / tarpit-rs

77

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

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

Rust Updated Apr 3, 2017

cristianoc / genTypeScript

75

Auto generation of type-safe bindings between Reason and Typescript.

types javascript reasonml typescript flowtype bucklescript type-safety

Updated Oct 2, 2018

dropbox / sqlalchemy-stubs

75

Mypy plugin and stubs for SQLAlchemy

types typing stubs mypy python sql sqlalchemy

Python Updated Mar 10, 2019 3 issues need help

stereobooster / diamondback-ruby

74

⛑ Fork of diamondback-ruby

ruby types gradual-typing

Ruby Updated Jul 1, 2018

Please note that GitHub no longer supports Internet Explorer.

types

Repositories 362