85 Open source projects that are alternatives of or similar to type-lite

Intuitive, type-safe configuration module for Nest framework ✨

A catalogue of Rust design patterns, anti-patterns and idioms

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

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

An advanced static type checker

A BERT-based reverse dictionary of Korean proverbs

Python library providing type-checked function calls at runtime

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

A percentage type for Swift

Validation library with type-safe schemas and rules

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

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

A strongly typed GraphQL API framework

Track missing type coverage to ensure type safety

C++ implementation of strong types

coulomb: unit analysis for Scala

A Domain Representation Language

🏷 Type-safe tags in Swift

bhl is a strictly typed programming language specifically tailored for gameplay logic scripting.

Error reporters for io-ts

Coercion and validation for data structures

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

🔩 The missing TypeScript utils

ESLint config focused on maximizing type safety 💪

Zero overhead utilities for preventing bugs at compile time

A runtime type system for JavaScript with full Flow compatibility.

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

Makes websocket's API just like REST with Promise-like API, with native Promises.

Domino-ui

Type-safe and human-readable set of bool flags

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

A fully type safe, compile time only units library.

⚡️ Runtime type-checker for JavaScript

Data interchange with algebraic data types.

Testing framework for Purescript

Small PHP Library for type-safe input handling

Type level helper to ensure type safety in Vuex

Bourne shell, template engine, scripting language mission-critical, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 120.000 lines of code.

A simple Swift library for working with generic JSON structures

A collection of design patterns/idioms in Python

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

TypeDB: a strongly-typed database

Functional, composable, asynchronous, type-safe Python.

Curated list of Go design patterns, recipes and idioms

Type-safe thread-local storage in Swift

Typescript DSL for GraphQL.

Safer universal equivalence (==) for Scala.

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 statically-typed strictly-evaluated garbage-collected readable programming language.

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 typed, persistent store for values of arbitrary types

🏷 A wrapper type for safer, expressive code.

Squid – type-safe metaprogramming and compilation framework for Scala

Strongly typed ORM for DynamoDB - Built with the single-table-design pattern in mind.

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

WartRemover warts for Play Framework.

C++ templates for type-safe bit manipulation