type-safety topic
c-iterators
:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
c-iterplus
Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators
type_safe
Zero overhead utilities for preventing bugs at compile time
PolyCast
Safely cast values to int, float, or string in PHP
ts-toolbelt
👷 TypeScript's largest type utility library
hegel
An advanced static type checker
typedmap
Type-safe heterogeneous map in Kotlin
phpcs-type-sniff
PHP CodeSniffer sniff to enforce PHP7, PHP8 types and documentation of array variables
ORM-Lite
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
matchkin
Statically checked exhaustive matching for TypeScript