A fast static code analyzer & language server for Python
π automated contract testing via type checking for Elixir functions and ...
π¨ Enhanced TypeScript support for Parcel
? Type Checker and IDE Support for Lua
JS type check (TypeScript supported) functions like `isPlainObject() isA...
TypeScript friendly Data validator for JavaScript.
Hypertypes - generic programming for heterogeneous recursive types
Typeis. it's the smart and simple javaScript type checker
Normalization by evaluation for Martin-LΓΆf Type Theory with dependent re...
Swift type checking and semantic analysis for developer tools
[WIP] Faster Implementation of Dialyzer
A PEG Parsing Tool
An implementation of MacroML [Ganz, Sabry & Taha 2001]
A simple runtime JSON type checker.
π§ ΠΠΎΠ΄Π°Π»ΡΠ½ΠΈΠΉ Π³ΠΎΠΌΠΎΡΠΎΠΏΡΡΠ½ΠΈΠΉ Π²Π΅ΡΠΈΡΡΠΊΠ°ΡΠΎΡ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ