Repository Index

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

• typescript
• javascript
• language
• typechecker

Optional static typing for Python

• python
• types
• typing
• typechecker

A fast type checker and language server for Python

• code-quality
• ide
• language-server
• lsp

Static type checker for Ruby

• ruby
• typechecker

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

• sql
• compiler
• typechecker
• sqlite

A Python type checker

• linter
• python
• static-analysis
• typechecker

A Runtime Typechecker for Roblox

• lua
• roblox

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

• parsing
• python
• typechecking
• runtime-typechecking

A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)