A JavaScript checker and optimizer.
-
Updated
May 29, 2024 - Java
A JavaScript checker and optimizer.
A simple Rust like Result type for Python 3. Fully type annotated.
Python command line wrapper for pyright, a static type checker
coulomb: unit analysis for Scala
Fundamental JavaScript type-related utilities
Decorator which checks whether the function is called with the correct type of parameters.
Library to check values against PHP types, is_a() on steroids.
Type Checking Game!
Runtime type checking for TypeScript
JavaScript library for runtime type checking
A garden of small programming language implementations 🪴
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
A programming language. Static types. Full type inference. Garbage collection. --- not stable
Structural type checking for Pandas data frames.
A type checking gem for Ruby - still in development
🏝 automated contract testing via type checking for Elixir functions and mocks
An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Add a description, image, and links to the typechecking topic page so that developers can more easily learn about it.
To associate your repository with the typechecking topic, visit your repo's landing page and select "manage topics."