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.
🏝 automated contract testing via type checking for Elixir functions and mocks
Python command line wrapper for pyright, a static type checker
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
coulomb: unit analysis for Scala
A webpack plugin allowing to call Flow type checker.
Assignments of the course COL226: Programming Languages offered in Second Sem 2020-21, IIT Delhi
Webpack support for validating TypeScript definitions at runtime.
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Checks if JavaScript variable is a number. Strings are not allowed.
A garden of small programming language implementations 🪴
A programming language. Static types. Full type inference. Garbage collection. --- not stable
Decorator which checks whether the function is called with the correct type of parameters.
Fundamental JavaScript type-related utilities
Common predicates for validating objects
A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).
Fully recursive runtime typechecking.
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."