type-checker topic

List type-checker repositories

write-you-a-typescript

82
Stars
1
Forks
Watchers

verified publisher icon suica

fialyzer

56
Stars
8
Forks
Watchers

[WIP] Faster Implementation of Dialyzer

verified publisher icon dwango

is-what

112
Stars
19
Forks
Watchers

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

verified publisher icon mesqueeb

slang

21
Stars
2
Forks
Watchers

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

verified publisher icon madmann91

typist-json

25
Stars
0
Forks
Watchers

A simple runtime JSON type checker.

verified publisher icon kawmra

toy-macro-ml

30
Stars
1
Forks
Watchers

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

verified publisher icon gfngfn

letype

16
Stars
0
Forks
Watchers

🔏 Type checker for any data structures

verified publisher icon Marcisbee

pyrser

34
Stars
8
Forks
Watchers

A PEG Parsing Tool

verified publisher icon LionelAuroux

pylyzer

2.0k
Stars
31
Forks
Watchers

A fast static code analyzer & language server for Python

verified publisher icon mtshiba

anders

18
Stars
1
Forks
Watchers

Anders: Cubical Type Checker

verified publisher icon forked-from-1kasper