Prevent directory traversal with mathematically proven path boundaries. StrictPath detects escapes, VirtualPath contains them. Handles symlinks, 19+ CVEs, Windows 8.3 names, platform quirks.

Library for building Claude Code hooks that are type-safe, maintainable, and shareable

A curated list of Kysely resources, tools, utilities and applications.

🔍 Streamline OCaml development with a versatile compiler and vector optimizer for enhanced performance and code efficiency.

⚡ Enhance Zod schema development with ZodKit, a complete CLI tool for static analysis, code generation, testing, and AI support.

Type-safe search params state manager for React frameworks - Like useState, but stored in the URL query string.

Data validation and schema management for Reynard - comprehensive validation utilities with type safety

Drop down to raw SQL in Prisma without sacrificing type safety!

Type-safe GraphQL client with zero runtime overhead

Advanced C++20 container system with type-safe operations, thread-safe access, and high-performance serialization. Provides flexible data containers with SIMD optimization and cross-platform compatibility.

Kysely dialect for PostgreSQL that supports the Postgres.js client and Bun's SQL native binding.

TypeScript type-guards and other type-safety utils for any environment 🎉

A type-safe, flexible library for creating persistent Nanostores atoms with built-in Zod validation, data migrations, and error recovery. Works seamlessly across different environments and storage backends.

dasae-headers: A modern extension language for safer and more productive C programming

Visualise Python project type completeness

Declarative concurrency and stream processing library for Scala

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Bring type-safety to your GitHub actions' API!

A lightweight, type-safe validation library for TypeScript.

Type safe, composable type guards for TypeScript