colinhacks / zod

TypeScript-first schema validation with static type inference

gvergnaud / ts-pattern

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

open-circle / valibot

The modular and type safe schema library for validating structural data 🤖

davidhalter / jedi

Awesome autocompletion, static analysis and refactoring library for python

vimeo / psalm

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles.

wevm / abitype

Strict TypeScript types for Ethereum ABIs