Generative type checkers for JavaScript
A set of React prop type checkers for Slate editors.
Various utility functions to check Javascript types and primitives.
A set of React prop type checkers for Slate editors.
Common types, type guards and type checkers.
A set of React prop type checkers for Slate editors.
Type checkers
PRO303 JS type checkers
Extendscript type checkers for After Effects
A set of React prop type checkers for Slate editors.
Framework for parameter/value analysis on access or mutation, used for type check in runtime.
A set of React prop type checkers for Slate editors.
A set of React prop type checkers for Slate editors.
Runtime type checkers and 5x faster JSON.stringify() function
JavaScript utilities for Vega.
A set of React prop type checkers for Slate editors.
A JavaScript/TypeScript utility for adding runtime type checking and assertions to classes
A set of React prop type checkers for Slate editors.
A set of React prop type checkers for Slate editors.
Adds additional assertions and type checkers to Node.js projects.
A set of React prop type checkers for Slate editors.
The type-check package provides a collection of type guards and type checkers for various JavaScript data types.
A type-refinement / validator combinator library for mixed / unknown values in Flow or TypeScript
Utility library for javascript type checking.
String value's type checker for Rust
TypeScript type checker for the tsz compiler
A checker for the LFSC proof language
A Rust implementation of the TypeSpec type system — parser, checker, and emitter
AXON compiler frontend — lexer, parser, AST, epistemic type system, type checker, IR generator. Zero runtime dependencies. v1.3.0 lowers requires_capabilities into IRAxonEndpoint (the PCC capability-containment property, §Fase 51.x.1). v1.2.0 added PRIMITIVE_REGISTRY — closed catalogue of every named language construct (45 entries) with PrimitiveInfo / DocStatus / CoverageSummary types + helpers. v1.1.0 introduced session-types + multiparty projection. See https://github.com/Bemarking/axon-lang.
Lightning-fast Rust type checker - get instant feedback 10-100x faster than cargo check
A gradually typed superset of R
A fast and correct TypeScript type checker and compiler with additional experiments. For use as a library or through the CLI
Semantic analyzer for the Flow programming language
The type checker of the Goscript project.
🌴 Type Checker and IDE Support for Lua
Type checker for Kailua
A type coercion lib works with Sorbet's static type checker and type definitions; raises an error if the coercion fails.
A shape/type checker for Ruby objects.
A dynamic type checker for gRPC methods
Gradual type checker for Ruby
Guard plugin for the Sorbet Ruby type checker
Dynamic type checker
Run-time type checker and transformer for Ruby
Experimental type checker
Pronto runner for Sorbet, a static type checker for Ruby
Type Checker for Ruby at runtime using YARD
Pronto runner for flow, a static type checker for javascript.
Dynlang exorcism