84 Open source projects that are alternatives of or similar to typed

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

coulomb: unit analysis for Scala

A typed, persistent store for values of arbitrary types

ESLint config focused on maximizing type safety 💪

Error reporters for io-ts

Type-safe and human-readable set of bool flags

Track missing type coverage to ensure type safety

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

🏷 Type-safe tags in Swift

A fully type safe, compile time only units library.

A percentage type for Swift

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

WartRemover warts for Play Framework.

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

Don't use this yet.

An advanced static type checker

🔩 The missing TypeScript utils

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

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

Python library providing type-checked function calls at runtime

Ergonode backend repository

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

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

Validation library with type-safe schemas and rules

Small PHP Library for type-safe input handling

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

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.

PHP-FPM 7.4 Docker Image (base image only)

Squid – type-safe metaprogramming and compilation framework for Scala

Simpler PHP code sniffer built on top of PHP-CS-Fixer.

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

Creates (immutable) PHP model classes from JSON-Schema files including all validation rules as PHP code

Domino-ui

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

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

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

⚡️ Runtime type-checker for JavaScript

A single container LEMP complete fullstack with latest release of PHP7.4.33, 8.0.26 & 8.1.13/8.2RC and MySQL, nginx, PostgreSQL, phalcon, swoole, mailcatcher, beanstalkd, elasticsearch, memcached, redis, adminer and all you ever need; on top alpine3.15

Testing framework for Purescript

Optimal vagrant developer box for Magento2. Folders synced by nfs/rsync. This box includes Magento developer utilities.

Type level helper to ensure type safety in Vuex

C++ templates for type-safe bit manipulation

A simple Swift library for working with generic JSON structures

Array Validator (regular expressions for arrays, sort of)

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

A strongly typed GraphQL API framework

Functional, composable, asynchronous, type-safe Python.

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

Type-safe thread-local storage in Swift

A modern PHP library that allows you to make resilient calls to external services 🔁

Safer universal equivalence (==) for Scala.

Standardized wrapper for popular currency rate APIs. Currently supports FixerIO, CurrencyLayer, Open Exchange Rates and Exchange Rates API.

A Domain Representation Language

PHP Kafka client - binding librdkafka via FFI

Type Safe LLVM IR ( Experimental )

Simple Linux Panel

Data interchange with algebraic data types.

Coercion and validation for data structures