type-safety

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

👷 TypeScript's largest type utility library

Make your functions return something meaningful, typed, and safe!

pgTyped - Typesafe SQL in TypeScript

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.

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

Zero overhead utilities for preventing bugs at compile time

🏷 A wrapper type for safer, expressive code.

Validation library with type-safe schemas and rules

🎁 A compile-time guarantee that a collection contains a value.

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Deprecated

Data interchange with algebraic data types.

🌈 Type-safe navigation library for Jetpack Compose

Cone Programming Language

Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

Full-stack forms for React Router

Parse command line arguments by defining a struct