Runs typescript type checker and linter on separate process.
Hadron Type Checker
Type checker for the Python language
Runs typescript type checker and linter on separate process.
🐊Putout operator adds ability to create type checker
Relationship type checker functions for Typescript types.
No description provided.
Thorough javascript type checker
Vite plugin that runs TypeScript type checker on a separate process.
Binary wrapper for Flow - A static type checker for JavaScript
A typescript type checker plugin to be used in Stryker, the JavaScript mutation testing framework
type checker
Runs typescript type checker and linter on separate process.
A tiny type checker
"simple type check tools"
Type checker for Vue SFCs with TypeScript 7 integration
A type checker
Type checker for the Python language
A Runtime Type Checker for Roblox
High-performance Svelte type-checker and linter
A data type checker and converter
Pyright extension for coc.nvim, static type checker for Python
ES module friendly type checker
SlimIO is (JavaScript Primitives & Objects type checker)
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
Type Checker for Ruby at runtime using YARD
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
Pronto runner for flow, a static type checker for javascript.
Dynlang exorcism
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.