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
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
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Basilisk was a Python LSP and VSIX. It has been delisted from every channel until we have rebuilt it to only include trustworthy components
Lean type-checker written in Scala.
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."
