Static Typing Packages

A persistent, typed-objects implementation.

A JavaScript tool for creating type safety.

An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris.

Provides a container which can hold different kinds of Type.

Minimalist type-checking, behavior-checking, and validation utility