TruthA Domain Representation Language
Stars: ✭ 23 (-68.06%)
Mutual labels: type-safety
typed flagsType-safe and human-readable set of bool flags
Stars: ✭ 23 (-68.06%)
Mutual labels: type-safety
HashedExpressionType-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (-44.44%)
Mutual labels: type-safety
UnchainedA fully type safe, compile time only units library.
Stars: ✭ 70 (-2.78%)
Mutual labels: type-safety
tsafe🔩 The missing TypeScript utils
Stars: ✭ 285 (+295.83%)
Mutual labels: type-safety
yantsYet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-51.39%)
Mutual labels: type-safety
DimensionedCompile-time dimensional analysis for various unit systems using Rust's type system.
Stars: ✭ 235 (+226.39%)
Mutual labels: type-safety
llvm-hs-typedType Safe LLVM IR ( Experimental )
Stars: ✭ 47 (-34.72%)
Mutual labels: type-safety
PolyCastSafely cast values to int, float, or string in PHP
Stars: ✭ 52 (-27.78%)
Mutual labels: type-safety
type-litetype - Strong types for C++98, C++11 and later in a single-file header-only library
Stars: ✭ 25 (-65.28%)
Mutual labels: type-safety
kanjiA strongly typed GraphQL API framework
Stars: ✭ 12 (-83.33%)
Mutual labels: type-safety
vaultA typed, persistent store for values of arbitrary types
Stars: ✭ 55 (-23.61%)
Mutual labels: type-safety
typicalData interchange with algebraic data types.
Stars: ✭ 114 (+58.33%)
Mutual labels: type-safety
request-parserSmall PHP Library for type-safe input handling
Stars: ✭ 53 (-26.39%)
Mutual labels: type-safety
eslint-plugin-total-functionsAn ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Stars: ✭ 72 (+0%)
Mutual labels: type-safety
Dry SchemaCoercion and validation for data structures
Stars: ✭ 249 (+245.83%)
Mutual labels: type-safety
playwartsWartRemover warts for Play Framework.
Stars: ✭ 23 (-68.06%)
Mutual labels: type-safety
typedTyped variables for PHP 7.4+ ( don't use this please )
Stars: ✭ 66 (-8.33%)
Mutual labels: type-safety
coaltonCoalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Stars: ✭ 439 (+509.72%)
Mutual labels: type-safety
genTypeScriptAuto generation of type-safe bindings between Reason and Typescript.
Stars: ✭ 75 (+4.17%)
Mutual labels: type-safety