69 Open source projects that are alternatives of or similar to Magic Type

A fully type safe, compile time only units library.

Squid – type-safe metaprogramming and compilation framework for Scala

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

🔩 The missing TypeScript utils

⚡️ Runtime type-checker for JavaScript

Typed struct and value objects

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

TopShell - a purely functional, reactive scripting language

Domino-ui

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

Type-safe and human-readable set of bool flags

Type level helper to ensure type safety in Vuex

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

C++ templates for type-safe bit manipulation

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

A Domain Representation Language

Intuitive, type-safe configuration module for Nest framework ✨

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.

A formalisation of PCF in Agda using naive nominal binding

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

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

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

Parse command line arguments by defining a struct

Testing framework for Purescript

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

WartRemover warts for Play Framework.

Python library providing type-checked function calls at runtime

A type-safe Postgres query builder for TypeScript.

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

A plugin for Nexus that integrates Prisma

A typed, persistent store for values of arbitrary types

🆔 Type-safe identifiers in Swift

A strongly typed GraphQL API framework

Zero overhead utilities for preventing bugs at compile time

Small PHP Library for type-safe input handling

Cone Programming Language

Coercion and validation for data structures

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

A percentage type for Swift

Haskell PostgreSQL library with compile-time type inference

ESLint config focused on maximizing type safety 💪

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

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

Type Safe LLVM IR ( Experimental )

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

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

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 runtime type system for JavaScript with full Flow compatibility.

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

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

coulomb: unit analysis for Scala

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

Data interchange with algebraic data types.

Automatically discover and add missing types in your TypeScript code

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

🏷 A wrapper type for safer, expressive code.

Type safe Vuex module with powerful module features

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