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

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

Domino-ui

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

A fully type safe, compile time only units library.

Type level helper to ensure type safety in Vuex

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

Squid – type-safe metaprogramming and compilation framework for Scala

Type safe Vuex module with powerful module features

⚡️ Runtime type-checker for JavaScript

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

C++ templates for type-safe bit manipulation

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

Intuitive, type-safe configuration module for Nest framework ✨

A Domain Representation Language

Parse command line arguments by defining a struct

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.

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

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

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

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

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

Testing framework for Purescript

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

A simple Swift library for working with generic JSON structures

Type-safe and human-readable set of bool flags

A typed, persistent store for values of arbitrary types

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

Cone Programming Language

A strongly typed GraphQL API framework

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

Small PHP Library for type-safe input handling

Haskell PostgreSQL library with compile-time type inference

Coercion and validation for data structures

A plugin for Nexus that integrates Prisma

A percentage type for Swift

Type Safe LLVM IR ( Experimental )

ESLint config focused on maximizing type safety 💪

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

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

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

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

A runtime type system for JavaScript with full Flow compatibility.

An advanced static type checker

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

Track missing type coverage to ensure type safety

A type-safe Postgres query builder for TypeScript.

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

Data interchange with algebraic data types.

coulomb: unit analysis for Scala

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

Python library providing type-checked function calls at runtime

WartRemover warts for Play Framework.

🏷 Type-safe tags in Swift

🆔 Type-safe identifiers in Swift

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

A formalisation of PCF in Agda using naive nominal binding

🏷 A wrapper type for safer, expressive code.

TopShell - a purely functional, reactive scripting language

Typed struct and value objects

🔩 The missing TypeScript utils