👷 TypeScript's largest type utility library
Make your functions return something meaningful, typed, and safe!
pgTyped - Typesafe SQL in TypeScript
An advanced static type checker
Zero overhead utilities for preventing bugs at compile time
Validation library with type-safe schemas and rules
🏷 A wrapper type for safer, expressive code.
A simple Rust like Result type for Python 3. Fully type annotated.
Automatically discover and add missing types in your TypeScript code
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
🎁 A compile-time guarantee that a collection contains a value.
A runtime type system for JavaScript with full Flow compatibility.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Data interchange with algebraic data types.
🌈 Type-safe navigation library for Jetpack Compose
Cone Programming Language
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
A type-safe Postgres query builder for TypeScript.
Add a description, image, and links to the type-safety topic page so that developers can more easily learn about it.
To associate your repository with the type-safety topic, visit your repo's landing page and select "manage topics."