type-checker topic

List type-checker repositories

hammox

552
Stars
25
Forks
Watchers

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

verified publisher icon msz

pynalyser

33
Stars
7
Forks
Watchers

Static Python Code Analyzer

verified publisher icon 0dminnimda

tynder

109
Stars
1
Forks
Watchers

TypeScript friendly Data validator for JavaScript.

verified publisher icon shellyln

fathom

257
Stars
14
Forks
Watchers

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

verified publisher icon yeslogic

parcel-plugin-typescript

180
Stars
18
Forks
Watchers

🚨 Enhanced TypeScript support for Parcel

verified publisher icon fathyb

kailua

167
Stars
5
Forks
Watchers

🌴 Type Checker and IDE Support for Lua

verified publisher icon devcat-studio

rust-nbe-for-mltt

90
Stars
7
Forks
Watchers

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

verified publisher icon brendanzab

Typology

81
Stars
5
Forks
Watchers

Swift type checking and semantic analysis for developer tools

verified publisher icon MaxDesiatov

hypertypes

107
Stars
8
Forks
Watchers

Hypertypes - generic programming for heterogeneous recursive types

verified publisher icon lamdu

typeis

93
Stars
13
Forks
Watchers

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

verified publisher icon typeis