Make your functions return something meaningful, typed, and safe!
pgTyped - Typesafe SQL in TypeScript
Validation library with type-safe schemas and rules
Zero overhead utilities for preventing bugs at compile time
Automatically discover and add missing types in your TypeScript code
A runtime type system for JavaScript with full Flow compatibility.
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
A type-safe Postgres query builder for TypeScript.
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
TopShell - a purely functional, reactive scripting language
Cone Programming Language
Parse command line arguments by defining a struct
Type safe Vuex module with powerful module features
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."