Higher Kinded Type machinery for Java
Dolmen provides a library and a binary to parse, typecheck, and evaluate...
trycast parses JSON-like values whose shape is defined by TypedDicts and...
Validate Method Arguments & Results in Ruby
Learning compilers, interpreters, code generation, virtual machines, ass...
AlphaSQL provides Integrated Type and Schema Check and Parallelization f...
Utilities to get and check variable types (isString, isPlainObject, isRe...
Compositional type checking for Haskell
Use Erlang typespecs in the runtime