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