colinhacks / zod

TypeScript-first schema validation with static type inference

open-circle / valibot

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

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles.

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

gvergnaud / ts-pattern

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

wevm / abitype

Strict TypeScript types for Ethereum ABIs