A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
-
Updated
May 17, 2024 - Rust
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
Library to check values against PHP types, is_a() on steroids.
Performant type-checking for python.
Optional static typing for Python
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
A Python type checker
TypePal is a framework for name analysis, type checking and type inference
A package for type-checking the URLs and associated views for Django
JavaScript library for runtime type checking
Some useful decorators for any situation. Includes runtime type checking.
Alternative implementation of the logical framework Dedukti in Rust
🦅 A pure, strongly typed functional language that compiles to js
A static type analyzer for Python code
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. 🔳
A language designed as an alternative to TypeScript, stricter, more rigorous and designed to optimise the JavaScript code produced as much as possible.
Static typechecker and interpreter for Jitterbit scripts
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."