HashedExpressionType-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (-27.27%)
type-litetype - Strong types for C++98, C++11 and later in a single-file header-only library
Stars: ✭ 25 (-54.55%)
genTypeScriptAuto generation of type-safe bindings between Reason and Typescript.
Stars: ✭ 75 (+36.36%)
typicalData interchange with algebraic data types.
Stars: ✭ 114 (+107.27%)
yantsYet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-36.36%)
playwartsWartRemover warts for Play Framework.
Stars: ✭ 23 (-58.18%)
typed flagsType-safe and human-readable set of bool flags
Stars: ✭ 23 (-58.18%)
PolyCastSafely cast values to int, float, or string in PHP
Stars: ✭ 52 (-5.45%)
tsafe🔩 The missing TypeScript utils
Stars: ✭ 285 (+418.18%)
ImmutablesAnnotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JSON, Jackson, Gson, JAX-RS integrations included
Stars: ✭ 3,031 (+5410.91%)
constant.jsImmutable/Constant Objects for JavaScript
Stars: ✭ 18 (-67.27%)
ltrieimmutable datastructures in lua
Stars: ✭ 18 (-67.27%)
shokiPurely functional data structures in Java
Stars: ✭ 30 (-45.45%)
exercises-monocleScala Exercises for the Scala Optics library Monocle http://julien-truffaut.github.io/Monocle/
Stars: ✭ 12 (-78.18%)