python module for function argument overloads, typececking and casting
-
Updated
Jun 2, 2024 - Python
python module for function argument overloads, typececking and casting
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
🦅 A pure, strongly typed functional language that compiles to js
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
JavaScript library for runtime type checking
Performant type-checking for python.
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
A static type analyzer for Python code
A Python type checker
TypePal is a framework for name analysis, type checking and type inference
Library to check values against PHP types, is_a() on steroids.
A package for type-checking the URLs and associated views for Django
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."