type-checker topic

List type-checker repositories

fialyzer

56
Stars
8
Forks
Watchers

[WIP] Faster Implementation of Dialyzer

is-what

112
Stars
19
Forks
Watchers

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

slang

21
Stars
2
Forks
Watchers

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

typist-json

25
Stars
0
Forks
Watchers

A simple runtime JSON type checker.

toy-macro-ml

30
Stars
1
Forks
Watchers

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

letype

16
Stars
0
Forks
Watchers

🔏 Type checker for any data structures

pyrser

34
Stars
8
Forks
Watchers

A PEG Parsing Tool

pylyzer

2.0k
Stars
31
Forks
Watchers

A fast static code analyzer & language server for Python