TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
Updated
Jun 13, 2024 - TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Performant type-checking for python.
Optional static typing for Python
A static type analyzer for Python code
TypePal is a framework for name analysis, type checking and type inference
python module for function argument overloads, typececking and casting
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
A Python type checker
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
🦅 A pure, strongly typed functional language that compiles to js
JavaScript library for runtime type checking
A package for type-checking the URLs and associated views for Django
Library to check values against PHP types, is_a() on steroids.
Some useful decorators for any situation. Includes runtime type checking.
Alternative implementation of the logical framework Dedukti in Rust
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
A language for clear, concise and clever computing. 🔳
Add a description, image, and links to the typechecker topic page so that developers can more easily learn about it.
To associate your repository with the typechecker topic, visit your repo's landing page and select "manage topics."