Top 53 types open source projects

MOVED TO GITLAB

👻 Type safe Option, Result, and Either types; inspired by Rust

Bolt is a language with in-built data-race freedom!

A tool that generates a strongly typed client library for any GraphQL endpoint. The client allows writing GraphQL queries as plain JS objects (with type safety, awesome code completion experience, custom scalar type mapping, type guards and more)

🔐 A detailed example for how to encrypt data in a Phoenix (Elixir) App before inserting into a database using Ecto Types

Delivers struct types for Java programming language.

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

A New, Interactive Approach to Learning Python

Typed Regular Expressions

A collection of types & functions definitions useful for Objective-C binaries analysis.

Generic Programming using True Sums of Products

k crash course

An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.

Benchmark Comparison of Packages with Runtime Validation and TypeScript Support

Python library to load dynamically typed data into statically typed data structures

A programming language designed for typescript type generation

All basic TypeScript types in one place 🤙

Prototype extension of the Rust type system towards checking units-of-measure

A Haskell library for open records and variants using closed type families and type literals

The Lux Programming Language

Functional, composable, asynchronous, type-safe Python.

⚠️ WIP ⚠️ Search TypeScript functions and methods by types

First-class type families

Installs @types for your dependencies

📦 Autowiring dependency injection container for python 3

Flow type definitions for React

AST normalization experiment

Converts Thrift specs into Flow JavaScript type definitions

Template for Hindley-Milner based languages

Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.

🍵 minimal composable type abstraction

Generate interfaces on the go! Network request? Then generate interfaces for response!

Rapidly create full-featured command line interfaces with help, subcommand dispatch, and validation.

serialize native Nim types to strings, streams, or sockets ⛄

TypeScript utility types for function arguments

Ruby implementation of TJSON

Typescript definitions for Svelte v3

Basic Unicode Types of a Ruby String

Strict TypeScript and Flow types for style based on MDN data

A linter that suggests interface types

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

Flexible type system for Ruby with coercions and constraints

Compile type annotated Python to fast C extensions

Mypy plugin and stubs for SQLAlchemy

Shape-Safe Symbolic Differentiation with Algebraic Data Types

Typed Racket

Programming language agnostic type construction language based on polynomials.

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

A central repository for sharing type definitions for Ruby gems

The Type Linter for JS