👷 TypeScript's largest type utility library
Make your functions return something meaningful, typed, and safe!
翻译 - 使您的函数返回有意义，可键入且安全的内容！
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 ent...
翻译 - Checked C是对C的扩展，它添加了检查以检测或防止常见的编程错误（例如缓冲区溢出和越界内存访问）的检查。此仓库有一个用于Checked C，示例代码，规范和测试代码的Wiki。
pgTyped - Typesafe SQL in TypeScript
NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.
Validation library with type-safe schemas and rules
翻译 - 具有类型安全模式和规则的验证库
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Automatically discover and add missing types in your TypeScript code
翻译 - 自动发现TypeScript代码并添加缺失的类型
🎁 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.
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.
Data interchange with algebraic data types.
#安卓#🌈 Type-safe navigation library for Jetpack Compose
Cone Programming Language
The full-stack form library for Remix and React Router