69 Open source projects that are alternatives of or similar to PolyCast

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

type - Strong types for C++98, C++11 and later in a single-file header-only library

Auto generation of type-safe bindings between Reason and Typescript.

Data interchange with algebraic data types.

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

WartRemover warts for Play Framework.

Type-safe and human-readable set of bool flags