There are 1 repository under typechecking topic.
A JavaScript checker and optimizer.
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
A garden of small programming language implementations 🪴
Python command line wrapper for pyright, a static type checker
coulomb: unit analysis for Scala
Decorator which checks whether the function is called with the correct type of parameters.
Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.
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
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 :).
A webpack plugin allowing to call Flow type checker.
Webpack support for validating TypeScript definitions at runtime.
language verification, construction, and analysis
Common predicates for validating objects
Checks if JavaScript variable is a number. Strings are not allowed.
Ahnfelt's Type Inference by Example but implemented in Gleam
A functional programming language based on system F (omega) ft. NbE and higher order unification
Type Checking for AutoHotkey
👨💻 Implementing System T in Haskell 👨💻
A minimal type checking library that I need in various projects for safer programming
A simple CLI util to mark all your current TS errors as expected. Useful when you wan to fail your builds on a new type error while expecting the old ones
A package of InferJS tools, designed for runtime checking of JavaScript types and narrowing through expectations.
Calculate the type coverage of popular Python libraries
Python package to parse user's input to ensure it is valid, and provide helpful error messages if not.
Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS
Fundamental JavaScript type-related utilities
Library to check values against PHP types, is_a() on steroids.
Super-simple type checkers
Simple frontend developed to learn how to create type checkers