https://github.com/facebook/pyre-check

Performant type-checking for python.

abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker

Last synced: 12 May 2025

https://github.com/sindresorhus/is

Type check values

assertions is node-module npm-package type-check type-detection typescript

Last synced: 27 Dec 2025

https://github.com/woutervh-/typescript-is

runtime transformer type-check typescript

Last synced: 15 May 2025

https://github.com/TypeStrong/ts-expect

Checks TypeScript types match expected values

expect type-check types typescript

Last synced: 27 Mar 2025

https://github.com/flexdinesh/typy

Minimal JavaScript type checking library

javascript javascript-library js npm-package object type-check

Last synced: 04 Apr 2025

https://github.com/mesqueeb/is-what

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

check-type class-identifier class-instance define-type get-type is-object is-plain-obj is-plain-object javascript javascript-type plain-object plain-objects primitive-types type-check type-checker type-checking typechecker typescript what-type

Last synced: 14 May 2025

https://github.com/MoskitoHero/barley

Barley is a fast and efficient ActiveModel serializer

activerecord cache rails ruby serializer type-check

Last synced: 16 Jul 2025

https://github.com/skarab42/vite-plugin-vitest-typescript-assert

🔥 TypeScript type assertion plugin for vitest

assert assertion expect test type-check type-checking typescript vite vitest

Last synced: 19 Oct 2025

https://github.com/smarie/python-pyfields

Define fields in python classes. Easily.

attr attribute boilerplate class descriptor field member mix-in mixin object oop type-check validation

Last synced: 15 Mar 2025

https://github.com/hustcc/variable-type

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

checking prop-types type-check variable variable-type

Last synced: 19 Mar 2025

https://github.com/genivia/sjot

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

json-schema json-validation lightweight schema-checker sjot-schemas type-check

Last synced: 15 Aug 2025

https://github.com/gilbarbara/is-lite

Type check tool

lite type-check type-test

Last synced: 17 Mar 2025

https://github.com/Marcisbee/letype

🔏 Type checker for any data structures

schema type type-check type-checker types validator

Last synced: 30 Apr 2025

https://github.com/marcisbee/letype

🔏 Type checker for any data structures

schema type type-check type-checker types validator

Last synced: 11 Apr 2025

https://github.com/webpro/nx-tsc

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

nx tsc tsconfig type-check typescript

Last synced: 11 Apr 2025

https://github.com/prezly/prop-types-php

Complete PHP port of React PropTypes

php prop-types prop-types-php type-check validation

Last synced: 11 Apr 2025

https://github.com/itsjonq/is

💡 A tiny type checker for JavaScript

check check-type checker is javascript plain-object tiny type type-check type-checker types

Last synced: 23 Sep 2025

https://github.com/typelate/muxt

"html/template" Enhancing Tools for Hypermedia Web Applications

generate go go-template golang htmx hypermedia-driven-application interface-description-language template type-check webapps

Last synced: 27 Apr 2026

https://github.com/skarab42/unleashed-typescript

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

internal tssert type-check type-checker types typescript unleashed

Last synced: 24 Mar 2025

https://github.com/bjoernloetters/noocleus-one

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

algebraic-data-types functional-programming hindley-milner let-polymorphism pattern-matching polymorphism scala type-check type-inference type-system

Last synced: 18 Mar 2025

https://github.com/umbrellio/typecheck

Strict, declarative, extensible runtime type checker for JavaScript

check type type-check type-checker typecheck

Last synced: 19 Feb 2026

https://github.com/crhntr/muxt

"html/template" Enhancing Tools for Hypermedia Web Applications

generate go go-template golang htmx hypermedia-driven-application interface-description-language template type-check webapps

Last synced: 07 Sep 2025

https://github.com/julienetie/typecase

A type checker for dynamically typed JavaScript

checker dynamic-types type type-check type-checker type-error typecheck typechecker types

Last synced: 30 Oct 2025

https://github.com/genivia/snapsjot

Companion module for SJOT schemas, creates a SJOT schema from JSON data to efficiently validate and type-check JSON data streams

json-schemas json-validation lightweight schema-checker sjot-schemas type-check

Last synced: 09 Apr 2025

https://github.com/stscoundrel/volva

Easier type checks for JS/TS variables

javascript nodejs type-check types typescript utility

Last synced: 01 Apr 2025

https://github.com/simonkovtyk/esbuild-plugin-typescript

The plugin enhances the build process by seamlessly integrating TypeScript, offering powerful features like type checking, automatic generation of .d.ts files, and ensuring robust type safety throughout.

declarations dts dts-generator esbuild esbuild-plugin esbuild-plugins ts tsc type-check type-safe type-safety types typescript

Last synced: 17 Aug 2025

https://github.com/raphaelhaettich/simple-type-check

Simple and very small JavaScript library to check types and instanceof.

javascript micro npm small type type-check types

Last synced: 18 May 2026

https://github.com/tired-fox/tcfg

Class based type checking configuration library

config configuration dynamic json python toml type-check types yaml

Last synced: 07 May 2026

https://github.com/riccardoperra/typescript-advanced-class-type-check

Advanced typescript type-checking demo for class constructor parameters using recursive, conditional and variadic tuple types

ts type-check typescript

Last synced: 09 Mar 2026

https://github.com/damiancipolat/dynamicy-type-check-in-js

I set up this repository to demostrate several different ways to do dynamic data check types in our javascript code, I will perform them using nodejs.

dynamic-type es6 javascript joi nodejs type type-check validation

Last synced: 29 Apr 2026

https://github.com/giorgosart/strong-typed

A runtime type-checking library for javascript

hacktoberfest javascript-library static-types strong-typed type-check type-checking

Last synced: 14 Jun 2025

https://github.com/nextgencontributions/.nitpick

Shared settings for linters, type checking tools and VSCode

linter nitpick python ruff settings-sync type-check type-checker type-checking typecheck typechecking vscode

Last synced: 26 Feb 2026

https://github.com/jbabin91/tsc-files

Run TypeScript compiler on specific files without ignoring tsconfig.json

cli-tool git-hooks lefthook lint-staged nodejs pre-commit tsc type-check typescript

Last synced: 12 Jan 2026

https://github.com/writetome51/is-finite-number

2 functions that check if passed argument is or is not a finite number

finite is-finite javascript number type-check

Last synced: 20 Jul 2025

https://github.com/oljc/checkme

📦CheckMe is a lightweight data validation tool that helps you easily check the types and formats of various data. Hope to help you ~ 🔖

check is javascript type-check typescript

Last synced: 17 May 2026

https://github.com/writetome51/is-object-not-object

2 functions that check if passed argument is or is not an object. Null is not considered an object.

is-object javascript not-object type-check

Last synced: 11 Jul 2025

https://github.com/thiagodnf/check-arguments

A little javascript library for checking argument values

arguments checking parameters type-check validate

Last synced: 06 Jul 2025

https://github.com/writetome51/is-string-not-string

2 functions that check if argument is or is not string

is-string javascript not-string type-check

Last synced: 24 Jul 2025

https://github.com/muhifauzan/guard-gen

GuardGen provides macro that can be used as guard test to generates type-checks. See main repository at GitLab https://gitlab.com/muhifauzan/guard-gen

elixir guard-test type-check

Last synced: 22 Aug 2025

https://github.com/scobru/mityli

A minimal runtime type-checking library for JavaScript using Valibot

library schema type-check type-validation valibot validation

Last synced: 10 Apr 2026

https://github.com/tiaanduplessis/samesame

🖐 Simple, Lightweight type checking of multiple arguments 👀

compare same-same type-check typeof

Last synced: 08 Aug 2025

https://github.com/writetome51/error-if-not-integer-zero-or-greater

Function triggers error if argument is not integer of zero or greater

error integer javascript message not type-check

Last synced: 19 Jul 2025

https://github.com/zororaka00/sol-type-check

A lightweight JavaScript library to validate Solidity data types like int, uint, bytes, and Ethereum-specific types such as addresses and transaction hashes.

ethereum javascript library smart-contract solidity type-check typescript web3

Last synced: 15 Feb 2026

https://github.com/writetome51/has-value-no-value

Functions that check if argument is, or is not, undefined or null

is javascript null type-check undefined value

Last synced: 04 Jul 2025

https://github.com/abelcheung/pytest-revealtype-injector

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

annotation dynamic-typing pytest-plugin runtime-typechecking static-typing type-check type-checker type-checking typecheck typechecker typechecking types typing

Last synced: 29 Jul 2025