GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

type-check

Website
Wikipedia
https://static.github-zh.com/github_avatars/facebook?size=40
facebook / pyre-check

Performant type-checking for python.

Pythontypecheckertype-checkstatic-analysisOCamlCode qualityabstract-interpretation安全program-analysistaint-analysiscontrol-flow-analysis
OCaml 7.03 k
5 天前
https://static.github-zh.com/github_avatars/facebook?size=40
facebook / pyrefly

#编辑器#A fast type checker and IDE for Python

Code qualityidelanguage-serverlspPythontype-checktype-checkertypechecktypecheckerRustlanguagetypestyping
Rust 2.93 k
10 小时前
https://static.github-zh.com/github_avatars/sindresorhus?size=40
sindresorhus / is

Type check values

type-checkisassertionsTypeScriptnode-modulenpm
TypeScript 1.72 k
10 天前
https://static.github-zh.com/github_avatars/woutervh-?size=40
woutervh- / typescript-is

TypeScripttransformertype-checkruntime
TypeScript 963
2 年前
https://static.github-zh.com/github_avatars/TypeStrong?size=40
TypeStrong / ts-expect

Checks TypeScript types match expected values

TypeScripttype-checktypesexpect
TypeScript 252
1 年前
https://static.github-zh.com/github_avatars/flexdinesh?size=40
flexdinesh / typy

Minimal JavaScript type checking library

npmJavaScripttype-checkobjectjavascript-library
JavaScript 228
4 年前
https://static.github-zh.com/github_avatars/mesqueeb?size=40
mesqueeb / is-what

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

typecheckerJavaScriptTypeScriptprimitive-typestype-checkingtype-checkertype-check
TypeScript 195
2 个月前
https://static.github-zh.com/github_avatars/MoskitoHero?size=40
MoskitoHero / barley

Barley is a fast and efficient ActiveModel serializer

activerecordcacheRailsRubyserializertype-check
Ruby 84
2 个月前
https://static.github-zh.com/github_avatars/skarab42?size=40
skarab42 / vite-plugin-vitest-typescript-assert

🔥 TypeScript type assertion plugin for vitest

assertassertionexpectTypeScriptvitestTestingtype-checktype-checkingVite
TypeScript 79
2 年前
https://static.github-zh.com/github_avatars/smarie?size=40
smarie / python-pyfields

Define fields in python classes. Easily.

objectclass模板Object-oriented programming (OOP)attributemixinvalidationtype-check
Python 45
2 年前
https://static.github-zh.com/github_avatars/hustcc?size=40
hustcc / variable-type

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

variabletype-check
TypeScript 24
5 年前
https://static.github-zh.com/github_avatars/Genivia?size=40
Genivia / SJOT

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

lightweightJSON Schematype-check
JavaScript 22
4 年前
https://static.github-zh.com/github_avatars/gilbarbara?size=40
gilbarbara / is-lite

Type check tool

type-checklite
TypeScript 18
1 年前
https://static.github-zh.com/github_avatars/Marcisbee?size=40
Marcisbee / letype

🔏 Type checker for any data structures

type-checktype-checkertypetypesvalidatorschema
JavaScript 16
2 年前
https://static.github-zh.com/github_avatars/webpro?size=40
webpro / nx-tsc

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

nxtsconfigtype-checkTypeScript
JavaScript 14
8 个月前
https://static.github-zh.com/github_avatars/prezly?size=40
prezly / prop-types-php

Complete PHP port of React PropTypes

PHPvalidationtype-check
PHP 7
2 年前
https://static.github-zh.com/github_avatars/ItsJonQ?size=40
ItsJonQ / is

💡 A tiny type checker for JavaScript

typecheckertype-checkertype-checkistinychecktypesJavaScript
JavaScript 5
2 年前
https://static.github-zh.com/github_avatars/skarab42?size=40
skarab42 / unleashed-typescript

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

type-checktype-checkertypesTypeScriptunleashedinternal
TypeScript 5
2 年前
https://static.github-zh.com/github_avatars/BjoernLoetters?size=40
BjoernLoetters / noocleus-one

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

type-inferencetype-system函数式编程Scalapolymorphismtype-checkpattern-matchingalgebraic-data-types
Scala 4
6 年前
https://static.github-zh.com/github_avatars/umbrellio?size=40
umbrellio / typecheck

Strict, declarative, extensible runtime type checker for JavaScript

typechecktypechecktype-checktype-checker
TypeScript 3
2 年前
loading...