Typechecker GitHub Repositories

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Optional static typing for Python

A fast type checker and language server for Python

A static type analyzer for Python code

A correct and efficient TypeScript type checker and compiler with additional experiments

Static type checker for Ruby

Blazing fast Vue.js Toolchain. Compiler, Linter, Type Checker, Formatter, LSP, Story System, Editor Extensions. This already passed 10k+ test suites, includes real world E2E.

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

🏝 automated contract testing via type checking for Elixir functions and mocks

Python 3.5+ runtime type checking for integration testing and data validation

Runtime Type Checks for TypeScript

A Python type checker

Elegant types in Ruby

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

Limits of Scala typechecking speed

TypeScript & Go inspired small interpreted programming language written in C#. The interpreter built with DDD principles and Clean Architecture. Implementation powered by Source Generators

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

🐍 The Mamba programming language, because we care about safety

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

Higher Kinded Type machinery for Java

A package for type-checking the URLs and associated views for Django

Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions with unplugin integration.

Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.

Validate Method Arguments & Results in Ruby

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery

Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)

Use Erlang typespecs in the runtime

Compositional type checking for Haskell

An example LLVM-based compiler for a subset of C.