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

Testing framework for Purescript

Functional, composable, asynchronous, type-safe Python.

A Domain Representation Language

Make your functions return something meaningful, typed, and safe!

A statically-typed strictly-evaluated garbage-collected readable programming language.

C++ templates for type-safe bit manipulation

A simple Swift library for working with generic JSON structures

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

Safer universal equivalence (==) for Scala.

ts-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.

Domino-ui

🏷 A wrapper type for safer, expressive code.

🔩 The missing TypeScript utils

⚡️ Runtime type-checker for JavaScript

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

Type level helper to ensure type safety in Vuex

A fully type safe, compile time only units library.

A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions

Typed variables for PHP 7.4+ ( don't use this please )

Type-safe thread-local storage in Swift

Compile-time dimensional analysis for various unit systems using Rust's type system.

Automatically discover and add missing types in your TypeScript code

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

A formalisation of PCF in Agda using naive nominal binding

Squid – type-safe metaprogramming and compilation framework for Scala

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

A plugin for Nexus that integrates Prisma

Safely cast values to int, float, or string in PHP

An advanced static type checker

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

Track missing type coverage to ensure type safety

A typed, persistent store for values of arbitrary types

Typical: Fast, simple, & correct data-validation using Python 3 typing.

Haskell PostgreSQL library with compile-time type inference

coulomb: unit analysis for Scala

A strongly typed GraphQL API framework

Python library providing type-checked function calls at runtime

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

🏷 Type-safe tags in Swift

Small PHP Library for type-safe input handling

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Cone Programming Language

Error reporters for io-ts

Coercion and validation for data structures

Validation library with type-safe schemas and rules

Data interchange with algebraic data types.

🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.

A percentage type for Swift

PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables

Type Safe LLVM IR ( Experimental )

Zero overhead utilities for preventing bugs at compile time

ESLint config focused on maximizing type safety 💪

A runtime type system for JavaScript with full Flow compatibility.

WartRemover warts for Play Framework.

Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)

Typed struct and value objects

Intuitive, type-safe configuration module for Nest framework ✨

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

Type-safe and human-readable set of bool flags

A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm