An implementation of the mechanical correspondence between algorithms for type checking
-
Updated
Oct 12, 2012 - Standard ML
An implementation of the mechanical correspondence between algorithms for type checking
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
The definitive JavaScript type testing library
Aids Typescript type checking for class based discriminated unions
A single-file, header only library of useful type traits for Qt classes
Function Wrappers to Validate Arguments and Return Types
A smart type checking decorator for functions with useful features
Hindley Milner Type Inference in Rust
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
[Node.js] Tests a value’s type against a string like 'positive integer' or 'non-empty map'.
A function that automates type-checking of arguments passed to Python functions
MOVED TO GITLAB
Formal Methods: Core Java Typechecker
(Concept) Invisible static type checker for JavaScript
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."