type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.
Type check values
TypeScript definitions for type-check
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
A CLI to type check Marko projects
Simple type-check utility for libraries authors to prevent issues with type check of objects coming from duplicated module definitions
Nx executor to type-check project source files using tsc --noEmit
Collections that actually type-check at runtime, not only in IDEs
Improved type check
Run TS type-check and ignore certain errors in some files
Type check values: `is.string('🦄') //=> true`
A package containing various type-check functions to validate TypeScript values.
Simple utility for type check.
Type check util
No description provided.
Type check util.
Type-check your SQL. No database required.
Only type check previously passing files
Simple JavaScript type checking module. Returns a Boolean for each type check.
A small lib to detect browser compatibility
Collection of small javascript type check functions.
Type check values. This is a fork of sindresorhus/is, but with CommonJS support.
Type check utilitie
Type check values
Nargo type checker
Core type-checking engine for Veric — types-first static analysis for data warehouses
This crate provides a few representations of SMT scripts and other functionalities.
A crate for type-checked propositional logic proofs
Isolated TypeScript type checking runtime for PCTX
A high-performance, embedded Luau type-checking and analysis engine written in Rust. This crate provides bindings to the Luau analyzer, allowing you to integrate static analysis and code intelligence directly into your applications.
GitHub Actions in TypeScript
A experimental Scala interpreter written in Rust: lexer, parser, type inference, and tree-walking evaluation with a REPL.
Macros for the type-proof crate
Generate type-checked Rust from your PostgreSQL queries.
Agent-native version control: typed op log + attestation graph.
Type-check non-existing `Phantom` code for Fun And Profit™.
A puppet-lint plugin to check if parameters in Classes and Defines has types declared.
Type check JSON objects
Type checking and type casting of parameters for Action Pack
Type-checked set and array
Various DSLs to clean, question (Ask), and validate (Demand) your objects, their classes (data types), and their properties.
A new check for puppet-lint that validates that all parameters are typed.
strong_csv is a type checker for a CSV file. It lets developers declare types for each column to ensure all cells are satisfied with desired types.
Allows you check if an object match a class expression. It is typically used to check the type of method paraameters. It is an alternative to using Ruby-3 .rbs files but with a different syntax and only dynamic checks Typically you'll include the Constrain module and use #constrain to check the type of method parameters: include Constrain # f takes a String and an array of Integer objects. Raise a Constrain::Error # if parameters doesn't have the expected types def f(a, b) constrain a, String constrain b, [Integer] end Constrain works with ruby-2 (and maybe ruby-3)
Type-checked serializers for your Ruby objects
Define configuration schemas with required and optional keys, type constraints, default values, and allowed value lists. Validates hashes and raises descriptive errors.
Enums, properties, generics, structured objects and runtime type checking.
Sorbet's runtime type checking component
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.