Top 70 type-safety open source projects

Coercion and validation for data structures

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

A percentage type for Swift

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.

ESLint config focused on maximizing type safety 💪

Squid – type-safe metaprogramming and compilation framework for Scala

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

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

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

Domino-ui

An advanced static type checker

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

Track missing type coverage to ensure type safety

⚡️ Runtime type-checker for JavaScript

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

Testing framework for Purescript

coulomb: unit analysis for Scala

Type level helper to ensure type safety in Vuex

Python library providing type-checked function calls at runtime

A simple Swift library for working with generic JSON structures

🏷 Type-safe tags in Swift

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

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

Functional, composable, asynchronous, type-safe Python.

Error reporters for io-ts

Type-safe thread-local storage in Swift

Validation library with type-safe schemas and rules

Safer universal equivalence (==) for Scala.

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

Automatically discover and add missing types in your TypeScript code

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

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

Zero overhead utilities for preventing bugs at compile time

A formalisation of PCF in Agda using naive nominal binding

A runtime type system for JavaScript with full Flow compatibility.

🏷 A wrapper type for safer, expressive code.

A plugin for Nexus that integrates Prisma

Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.

🎁 A compile-time guarantee that a collection contains a value.

TopShell - a purely functional, reactive scripting language

A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL

Parse command line arguments by defining a struct

A modern, type-safe, header-only, C++14 wrapper for JNI

Type safe Vuex module with powerful module features

A type-safe Postgres query builder for TypeScript.

Super type-safe CSS for Scala and Scala.JS.

🆔 Type-safe identifiers in Swift

Typed struct and value objects

Cone Programming Language

Intuitive, type-safe configuration module for Nest framework ✨

Haskell PostgreSQL library with compile-time type inference

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

Type Safe LLVM IR ( Experimental )

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