typechecking 开源项目推荐（89 个）

google /closure-compiler

A JavaScript checker and optimizer.

meta /pyrefly

一个快速的 Python 类型检查器和语言服务器

rustedpy /result

Not Maintained -一个简单的Rust，类似Python 3的Report类型。完全输入注释。

msz /hammox

🏝 通过类型检查实现 Elixir 功能和模拟的自动化合同测试

brendanzab /language-garden

A garden of small programming language implementations 🪴

RobertCraigie /pyright-python

Python command line wrapper for pyright, a static type checker

Stewori /pytypes

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

erikerlandson /coulomb

coulomb: unit analysis for Scala

FelixTheC /strongtyping

Decorator which checks whether the function is called with the correct type of parameters.

davidfstr /trycast

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

EzyGang /py-cachify

Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.

SebastianMestre /Jasper

A programming language. Static types. Full type inference. Garbage collection. --- not stable

smarie /python-autoclass

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

happylynx /flow-webpack-plugin

A webpack plugin allowing to call Flow type checker.

spotify /ts-interface-loader

Webpack support for validating TypeScript definitions at runtime.

joelburget /lvca

language verification, construction, and analysis

sinelaw /inty

Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation

elucent /clover

Lovable memory-safe systems language with a pretty fast compiler

SeanCannon /prettycats

Common predicates for validating objects

avanov /typeit

Infer Python types from JSON data, use them for auto serialisation and parsing