Ts Toolbeltts-toolbelt is the largest, and most tested type library available right
now, featuring +200 utilities. Our type collection packages some of the most
advanced mapped types, conditional types, and recursive types on the market.
Stars: ✭ 3,099 (+2321.09%)
TypestrictESLint config focused on maximizing type safety 💪
Stars: ✭ 182 (+42.19%)
SquidSquid – type-safe metaprogramming and compilation framework for Scala
Stars: ✭ 172 (+34.38%)
Orm LiteHeader-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Stars: ✭ 164 (+28.13%)
Vue Literal CompilerA Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
Stars: ✭ 158 (+23.44%)
QuantitiesType-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Stars: ✭ 146 (+14.06%)
HegelAn advanced static type checker
Stars: ✭ 1,804 (+1309.38%)
ReturnsMake your functions return something meaningful, typed, and safe!
Stars: ✭ 2,015 (+1474.22%)