Everything You Need for Type Testing.

ESLint rules for fp-ts

ESLint plugin with ^? Twoslash, $ExpectError, and $ExpectType type assertions. 🧩

Algebraic graphs implementation in TypeScript

An effect/IO datatype in typescript

Build production-ready applications in TypeScript

📊 Benchmark Comparison of Packages with Runtime Validation and TypeScript Support

Transform TypeScript types to io-ts runtime validator codecs

An algebraic data type for loading and refreshing data.

Ramda functions reimplemented in fp-ts

Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

A modern, high customizable, responsive Jekyll theme for documentation with built-in search.

A playground to test a super article about FP-TS

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

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

A puzzle game inspired by functional programming

A simple encoding of higher-kinded types in TypeScript

Algebraic graphs

generate typescript and io-ts types using graphql-code-generator

Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow

Strict TypeScript and Flow types for style based on MDN data

Purescript for Elm devs. 🚀

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Boilerplate-free functional sum types in TypeScript

[Deprecated] A declarative syntax for building Tcomb type and options objects

Software Foundations in Idris

🦋 Fantasy Land compliant (monadic) alternative to Promises

playground for type-level primitives in TypeScript