DefinitelyTyped - The repository for high quality TypeScript type definitions.

•    TypeScript

---

The repository for high quality TypeScript type definitions.Also see the definitelytyped.org website, although information in this README is more up-to-date.

typescript definition dts types typings typescript-definitions

rtype - Intuitive structural type notation for JavaScript.

•    Javascript

---

Intuitive structural type notation for JavaScript.Rtype is a JS-native representation of structural type interfaces with a TypeScript-inspired notation that's great for documentation.

type types annotation

ow - Function argument validation for humans

•    TypeScript

---

Test if value matches the provided predicate. Create a reusable validator.

validation type-checking nodejs npm-package type types check checking guard guards assert assertion predicate predicates is validate utility util typeof instanceof object

superstruct - A simple and composable way to validate data in Javascript.

•    Javascript

---

A simple and composable way to validate data in JavaScript. Superstruct makes it easy to define interfaces and then validate JavaScript data against them. Its type annotation API was inspired by Typescript, Flow, Go, and GraphQL, giving it a familiar and easy to understand API.

validation types interface structs schema api array assert cast check checker collection data error express hapi invalid joi json list model object orm scalar struct throw type valid validate validator

io-ts - TypeScript compatible runtime type system for IO decoding/encoding

•    TypeScript

---

A value of type Type<A, O, I> (called "runtime type") is the runtime representation of the static type A. Note. The Either type is defined in fp-ts, a library containing implementations of common algebraic types in TypeScript.

typescript validation inference types runtime

react-values - A set of tiny React components for handling state with render props.

•    Javascript

---

A set of tiny, composable React components for handling state with render props. It does this using a small render-prop-based API that exposes helpful transforms like toggle, increment, filter, etc. depending on the type of value, all based on JavaScripts native value types...

react components state-management render-props headless boolean component date map mobx number prop props redux render renderless set state stateful string type types value values

schematics - Python Data Structures for Humans™.

•    Python

---

Python Data Structures for Humans™. Schematics is a Python library to combine types into structures, validate them, and transform the shapes of your data based on simple descriptions.

validation datastructures types schema serialization deserialization

lux - The Lux Programming Language

•    Clojure

---

Lux is a new programming language in the making. It's meant to be a functional, statically-typed Lisp that will run on several platforms, such as the Java Virtual Machine and JavaScript interpreters.

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

sorbet - A fast, powerful type checker designed for Ruby

•    Ruby

---

This repository contains Sorbet, a static typechecker for a subset of Ruby. It is still in early stages, but is mature enough to run on the majority of Ruby code at Stripe. You are welcome to try it, though, but your experience might still be rough. If you are at Stripe, you might also want to see http://go/types/internals for docs about Stripe-specific development workflows and historical Stripe context.

types sorbet

interfacer - A linter that suggests interface types

•    Go

---

A linter that suggests interface types. In other words, it warns about the usage of types that are more specific than necessary.This tool inspects the parameters of your functions to see if they fit an interface type that is less specific than the current type.

linter interface types

nexus - GraphQL Nexus: Code-First, Type-Safe, GraphQL Schema Construction

•    TypeScript

---

GraphQL Nexus is independent from Prisma. To learn how it can best be combined with Prisma, check out the nexus-prisma plugin. You can find the docs for GraphQL Nexus here.

graphql typescript graphql-server prisma nexus graphql-nexus graphql-schema schema types

dry-types - Flexible type system for Ruby with coercions and constraints

•    Ruby

---

After checking out the repo, run bin/setup to install dependencies. Then, run bundle exec rake run_specs to run the tests. You can also run bin/console for an interactive prompt that will allow you to experiment. To install this gem onto your local machine, run bundle exec rake install. To release a new version, update the version number in version.rb, and then run bundle exec rake release, which will create a git tag for the version, push git commits and tags, and push the .gem file to rubygems.org.

dry-rb types coercion constraints

generate-schema - Convert JSON Objects to MySQL Schema, JSON Schema, Mongoose Schema, Google BigQuery, or a Generic template for Swagger files, documentation, code generation, and more

•    Javascript

---

Convert JSON Objects to MySQL Table Schema, JSON Schema, Mongoose Schema, ClickHouse Schema, Google BigQuery, or a Generic template for documentation, code generation, and more. Optionally, add -g to the above if you want the generate-schema command line executable.

json schema object convert manipulate traverse types type is generate produce mongoose generic validation bigquery google data datatypes

is - Type check values: `is.string('🦄') //=> true`

•    TypeScript

---

Returns the type of value.Primitives are lowercase and object types are camelcase.

type types is check checking validate validation utility util typeof instanceof object assert assertion test kind primitive verify compare

ast-types - Esprima-compatible implementation of the Mozilla JS Parser API

•    Javascript

---

This module provides an efficient, modular, Esprima-compatible implementation of the abstract syntax tree type hierarchy pioneered by the Mozilla Parser API. Because it understands the AST type system so thoroughly, this library is able to provide excellent node iteration and traversal mechanisms.

ast abstract-syntax-tree hierarchy mozilla spidermonkey parser-api esprima types type-system type-checking dynamic-types parsing transformation syntax

babel-plugin-tcomb - Babel plugin for static and runtime type checking using Flow and tcomb

•    Javascript

---

Babel plugin for static and runtime type checking using Flow and tcomb. Flow is a static type checker for JavaScript.

flow babel babel-plugin tcomb type-checking types runtime

prop-types - Custom React PropType validators that we use at Airbnb.

•    Javascript

---

Custom React PropType validators that we use at Airbnb. Use of airbnb-js-shims or the equivalent is recommended.Since PropTypes are typically not included in production builds of React, this library’s functionality serves no useful purpose. As such, when the NODE_ENV environment variable is "production", instead of exporting the implementations of all these prop types, we export mock functions - in other words, something that ensures that no exceptions are thrown, but does no validation. When environment variables are inlined (via a browserify transform or webpack plugin), then tools like webpack or uglify are able to determine that only the mocks will be imported - and can avoid including the entire implementations in the final bundle that is sent to the browser. This allows for a much smaller ultimate file size, and faster in-browser performance, without sacrificing the benefits of PropTypes themselves.

react proptypes airbnb prop types validator validation

is-js - A small library for identifying Javascript types.

•    Javascript

---

See the unit tests page at scottrabin.com/is-js/test.html. is.js is released under the MIT License. See MIT-LICENSE.txt for more details.

types util is.js

runtypes - Runtime validation for static types

•    TypeScript

---

Runtypes allow you to take values about which you have no assurances and check that they conform to some type A. This is done by means of composable type validators of primitives, literals, arrays, tuples, records, unions, intersections and more. If the object doesn't conform to the type specification, check will throw an exception.

typescript runtime types validation

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

•    PHP

---

This package is a mere proof of concept about what's possible in PHP's userland to improve type checking. It adds support for type inference, generics, union types, typed lists, tuples and structs. Because all is done in userland, there are limitations on what syntax is possible. The following examples all show the manual type configuration. There are some cases where type inference falls short, and you have to fall back on manually defining them. You might also prefer the manual approach, for clarity's sake.

types generics tuples structs