A JavaScript checker and optimizer.

🏝 automated contract testing for Elixir functions and mocks

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

coulomb: a statically typed unit analysis library for Scala

A webpack plugin allowing to call Flow type checker.

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 :).

Decorator which checks whether the function is called with the correct type of parameters.

Webpack support for validating TypeScript definitions at runtime.

language verification, construction, and analysis

Common predicates for validating objects

Checks if JavaScript variable is strictly a number

Infer Python types from JSON data, use them for auto serialisation and parsing

Type Checking for AutoHotkey

Runtime type checking for TypeScript

Lua type checker based on Typed Lua

Structural type checking for Python

Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS

Runtime type checking against composable schemas

Collection of small javascript type check functions.

Typechecker typeclasses for terms with a parameter for their typesystem.

An interpreter for a (very) simple functional programming language.

Learn TypeScript Fundamentals

Super-simple type checkers

Compiler for a SimpleProgrammingLanguage (SPL). Implementing Lexing, Parsing, TypeChecking and finally Code Generation.

A simple compiler for the JFTT class.

A type checking language for Prolog

Fully recursive runtime typechecking.

A compiler for Java byte code based custom programming language(LL(1) Context free Grammar), which implements compiler phases: Scanner, Parser, Semantic Analysis, Type Checking and Byte Code Generation

Type checking utilities for React elements.

Basic assertion