type-check

There are 1 repository under type-check topic.

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
Language:OCaml 6698
sindresorhus / is
Type check values
type-detection type-check is assertions typescript node-module npm-package
Language:TypeScript 1633
woutervh- / typescript-is
typescript transformer type-check runtime
Language:TypeScript 951
flexdinesh / typy
Minimal JavaScript type checking library
npm-package js type-check javascript object javascript-library
Language:JavaScript 227
TypeStrong / ts-expect
Checks TypeScript types match expected values
typescript type-check types expect
Language:TypeScript 206
mesqueeb / is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
typechecker check-type javascript typescript javascript-type primitive-types plain-object plain-objects class-instance class-identifier type-checking type-checker type-check define-type get-type what-type is-object is-plain-obj is-plain-object
Language:TypeScript 111
MoskitoHero / barley
Barley is a simple, fast, and efficient ActiveModel serializer
activerecord cache rails ruby serializer type-check
Language:Ruby 79
vite-plugin-vitest-typescript-assert
skarab42 / vite-plugin-vitest-typescript-assert
🔥 TypeScript type assertion plugin for vitest
assert assertion expect typescript vitest test type-check type-checking vite
Language:TypeScript 79
smarie / python-pyfields
Define fields in python classes. Easily.
object class boilerplate oop field attr attribute member descriptor mix-in mixin validation type-check
Language:Python 45
hustcc / variable-type
👏 ~ 1 kb. Schema validation. 一个只有 1 kb 的用于变量结构校验的库。
variable-type prop-types variable type-check checking
Language:TypeScript 23
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
Language:JavaScript 21
gilbarbara / is-lite
Type check tool
type-test type-check lite
Language:TypeScript 17
Marcisbee / letype
🔏 Type checker for any data structures
type-check type-checker type types validator schema
Language:JavaScript 16
evdama / is-it-check
A tiny general purpose runtime check library for js and ts.
check runtime-typechecking type-check
Language:JavaScript 11
webpro / nx-tsc
Nx executor to type-check project source files using `tsc --noEmit`
nx tsc tsconfig type-check typescript
Language:JavaScript 11
prezly / prop-types-php
Complete PHP port of React PropTypes
prop-types php validation type-check prop-types-php
Language:PHP 7
ItsJonQ / is
💡 A tiny type checker for JavaScript
type checker type-checker type-check check-type is plain-object tiny check types javascript
Language:JavaScript 5
skarab42 / unleashed-typescript
TypeScript with exposed internal definitions and some private methods for type checking.
type-check type-checker types typescript unleashed internal tssert
Language:TypeScript 5
BjoernLoetters / noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
hindley-milner type-inference type-system functional-programming scala polymorphism type-check pattern-matching algebraic-data-types let-polymorphism
Language:Scala 3
freshpack / freshpack
Command line scaffolding tool for react apps.
create react app scaffolding boilerplate webpack babel hot-reloading type-check flow eslint state-management redux mobx sass styled-components jest enzyme react-router
Language:JavaScript 3
umbrellio / typecheck
Strict, declarative, extensible runtime type checker for JavaScript
check type type-check type-checker typecheck
Language:TypeScript 3
julienetie / typecase
A type checker for dynamically typed JavaScript
typecheck type types typechecker checker type-checker type-check dynamic-types type-error
Language:JavaScript 2
nazaninsbr / Symbol-Table-and-AST
Implementing AST and Symbol Table for Smoola and producing errors
ast symbol-table smoola errors type-checking type-errors type-check
Language:Java 2
volva
stscoundrel / volva
Easier type checks for JS/TS variables
javascript nodejs utility types type-check typescript
Language:TypeScript 2
colxi / functyped
Automatic static type-checking for Javascript functions through declarative syntax.
typed-function static-types type-check strong-typing typed-parameters typed-javascript typed-js
Language:JavaScript 1
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.
javascript type validation dynamic-type nodejs es6 type-check joi
Language:JavaScript 1
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
Language:JavaScript 1
giorgosart / strong-typed
A runtime type-checking library for javascript
static-types javascript-library type-checking type-check strong-typed hacktoberfest
Language:JavaScript 1
jonasgeiler / tsc-files
A tiny tool to run `tsc` on specific files without ignoring tsconfig.json
check compile lint-staged tsc tsc-files tsconfig type-check typescript
Language:JavaScript 1
RaphaelHaettich / simple-type-check
Simple and very small JavaScript library to check types and instanceof.
types type type-check javascript npm micro small
Language:JavaScript 1
riccardoperra / typescript-advanced-class-type-check
Advanced typescript type-checking demo for class constructor parameters using recursive, conditional and variadic tuple types
typescript type-check ts
Language:TypeScript 1
Tired-Fox / tcfg
Class based type checking configuration library
config configuration dynamic json python toml type-check types yaml
Language:Python 1
hyndavi1234 / Make-A-Maze
Make-A-Maze is a Domain-Specific Language for constructing mazes, a concrete console-based application using Python with GUI compatibility.
domain-specific-language programming-language-design python semantics syntax-check type-check
Language:Python 0
KivixEletric / that-is
A JavaScript library that checks whether the value is of a specific type
javascript type-checker typescript-support node type-check type-checks web
Language:JavaScript 0
jcbhmr / is-what
❓ Collection of tiny type introspection helpers
check-type class-identifier class-instance define-type get-type is-object is-plain-obj is-plain-object javascript plain-object plain-objects primitive-types type-check type-checker type-checking typechecker typescript what-type javavscript-type
Language:TypeScript
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 javascript type-check typescript is
Language:TypeScript

type-check

facebook / pyre-check

sindresorhus / is

woutervh- / typescript-is

flexdinesh / typy

TypeStrong / ts-expect

mesqueeb / is-what

MoskitoHero / barley

skarab42 / vite-plugin-vitest-typescript-assert

smarie / python-pyfields

hustcc / variable-type

Genivia / SJOT

gilbarbara / is-lite

Marcisbee / letype

evdama / is-it-check

webpro / nx-tsc

prezly / prop-types-php

ItsJonQ / is

skarab42 / unleashed-typescript

BjoernLoetters / noocleus-one

freshpack / freshpack

umbrellio / typecheck

julienetie / typecase

nazaninsbr / Symbol-Table-and-AST

stscoundrel / volva

colxi / functyped

damiancipolat / Dynamicy-Type-Check-in-js

Genivia / snapSJOT

giorgosart / strong-typed

jonasgeiler / tsc-files

RaphaelHaettich / simple-type-check

riccardoperra / typescript-advanced-class-type-check

Tired-Fox / tcfg

hyndavi1234 / Make-A-Maze

KivixEletric / that-is

jcbhmr / is-what

oljc / checkme