TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
Optional static typing for Python
- python
- types
- typing
- typechecker
A fast type checker and language server for Python
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
Runtime introspection and unit testing of SwiftUI views
- swiftui
- swiftui-views
- unit-testing
- runtime-typechecking
Static type checker for Ruby
- ruby
- typechecker
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
A Python type checker
A Runtime Typechecker for Roblox
- lua
- roblox
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
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)
Package for running linters, formatters, static type checkers, and code analysis tools on python code in quarto (.qmd) files.