Performant type-checking for python.

• UpdatedJul 18, 2025
• OCaml

A fast type checker and IDE for Python

• UpdatedJul 18, 2025
• Rust

Type check values

• UpdatedJun 6, 2025
• TypeScript

• UpdatedJul 17, 2023
• TypeScript

Checks TypeScript types match expected values

• UpdatedJun 16, 2024
• TypeScript

Minimal JavaScript type checking library

• UpdatedMay 10, 2021
• JavaScript

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

• UpdatedJul 3, 2025
• TypeScript

Barley is a fast and efficient ActiveModel serializer

• UpdatedApr 29, 2025
• Ruby

🔥 TypeScript type assertion plugin for vitest

• UpdatedOct 7, 2023
• TypeScript

Define fields in python classes. Easily.

• UpdatedNov 6, 2023
• Python

👏 ~ 1 kb. Schema validation. 一个只有 1 kb 的用于变量结构校验的库。

• UpdatedJan 13, 2020
• TypeScript

Fast and lightweight JSON validation and JS type checking. SJOT schemas are as simple as JSON templates.

• UpdatedMay 14, 2021
• JavaScript

Type check tool

• UpdatedJan 2, 2024
• TypeScript

🔏 Type checker for any data structures

• UpdatedApr 5, 2023
• JavaScript

A tiny general purpose runtime check library for js and ts.

• UpdatedOct 13, 2024
• JavaScript

Nx executor to type-check project source files using `tsc --noEmit`

• UpdatedOct 21, 2024
• JavaScript

Complete PHP port of React PropTypes

• UpdatedOct 5, 2023
• PHP

💡 A tiny type checker for JavaScript

• UpdatedMar 5, 2023
• JavaScript

TypeScript with exposed internal definitions and some private methods for type checking.

• UpdatedAug 3, 2023
• TypeScript

A minimal functional programming language with type inference, algebraic data types and pattern matching

• UpdatedMar 27, 2019
• Scala