Displaying 1 to 20 from 121 results

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.

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.

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.




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.

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...

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.

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.


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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.