All Categories → No Category → type-checker

Top 5 type-checker open source projects

[WIP] Faster Implementation of Dialyzer

✭ 57

ocaml erlang Standard ML type-checker

Swift type checking and semantic analysis for developer tools

✭ 68

swift shell developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

🧊 Модальний Гомотопічний Прувер

✭ 5

Pug ocaml cubical-type-theory type-system theorem-prover type-checker mltt

A simple runtime JSON type checker.

✭ 25

typescript javascript json typescript-library type-safe type-checking type-checker runtime-typechecking

A PEG Parsing Tool

✭ 32

python TeX parser tree parsing matching typing parsing-expression-grammar peg type-checking type-system type-checker tree-matching

1-5 of 5 type-checker projects