SQL-Typechecker

SQL-Typechecker is a CLI tool (v0.1.0) written in TypeScript that parses PostgreSQL DDL and SQL function files, performs type-checking beyond what PostgreSQL natively offers, and generates TypeScript type definitions including branded types. It aims to provide rigorous type-checking for SQL functions and supports nested JSON outputs, branded types (newtypes), and a subset of PostgreSQL syntax. The project is under active development but has been used in production for years. It differentiates from tools like pgtyped by not relying on PostgreSQL’s own type-checker and by generating branded types.