A fast type checker and language server for Python

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

A fast, feature-rich static code analyzer & language server for Python

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

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

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

🚨 Enhanced TypeScript support for Parcel

🌴 Type Checker and IDE Support for Lua

Hypertypes - generic programming for heterogeneous recursive types

TypeScript friendly Data validator for JavaScript.

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Typeis. it's the smart and simple javaScript type checker

No description provided.

Experimental Python Type Checker and LSP 🔎

Swift type checking and semantic analysis for developer tools

A work-in-progress core language for Agda, in Agda

[WIP] Faster Implementation of Dialyzer

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Lean type-checker written in Scala.

A PEG Parsing Tool

An implementation of MacroML [Ganz, Sabry & Taha 2001]

Static Python Code Analyzer

A simple runtime JSON type checker.

🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).

Anders: Cubical Type Checker

🧊 Модальний гомотопічний верифікатор математики

A small, flexible and extensible front-end for GLSL.

🔏 Type checker for any data structures

write a little simply typed functional language to practice Rust

type-system, revised unification algorithm and runtime time representations