Refinement types system for runtime type and contracts checking
🧊 Integrate @typesugar/contracts with @typesugar/type-system refinement types — single source of truth for type predicates
A type-refinement / validator combinator library for mixed / unknown values in Flow or TypeScript
Simple text tree diagrams from arrays.
Adds pattern matching, optional properties, and several other helpers and types, to io-ts.
A stand-alone types package for Undici
Core types and classes for Google services.
Pi Coding Agent extension that runs a forced iterative idea-refinement workflow via the /idea-refine command.
SMT solver integration for ISL - satisfiability checking for preconditions, postconditions, and refinement types
The ultimate javascript content-type utility.
Babel Types is a Lodash-esque utility library for AST nodes
Types for the AWS SDK
React InstantSearch widget that filters the dataset based on color facet values
TypeScript definitions for prop-types
TypeScript definitions for express-serve-static-core
No description provided.
TypeScript definitions for express
Node.js utilities and TypeScript definitions for `package.json` and `tsconfig.json`
TypeScript definitions for @babel/core
Runtime type checking for React props and similar objects.
Types for Oxc AST nodes
TypeScript definitions for trusted-types
Shared TypeScript definitions for Octokit projects
TypeScript definitions for serve-static
Refinement types.
The initial implementation of the Oyi programming language
Predicate existential types.
String newtypes
String newtypes
Adds instrumentation to BloodContracts refinement types
Adds a few useful extra methods to some of Ruby's core types, available as refinements.