typechecker

#编程语言#TypeScript 起源于 Javascript，是JavaScript的严格超集，为开发大型应用而设计。代码最终编译为可读的、 标准的JavaScript。

一款 Python 静态类型检查器

Performant type-checking for python.

A static type analyzer for Python code

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

A fast and correct TypeScript type checker and compiler with additional experiments

Static type checker for Ruby

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

🏝 automated contract testing via type checking for Elixir functions and mocks

Python 3.5+ runtime type checking for integration testing and data validation

Runtime Type Checks for TypeScript

A Python type checker

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

Limits of Scala typechecking speed

🐍 The Mamba programming language, because we care about safety

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Higher Kinded Type machinery for Java

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

TypeScript & Go inspired open-source public research project written in C#