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

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

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

🏷 A wrapper type for safer, expressive code.

Typed struct and value objects

A fully type safe, compile time only units library.

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

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

Functional, composable, asynchronous, type-safe Python.

🔩 The missing TypeScript utils

TopShell - a purely functional, reactive scripting language

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

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

Automatically discover and add missing types in your TypeScript code

Intuitive, type-safe configuration module for Nest framework ✨

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

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

A formalisation of PCF in Agda using naive nominal binding

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

Type level helper to ensure type safety in Vuex

Type-safe and human-readable set of bool flags

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

C++ templates for type-safe bit manipulation

Type-safe thread-local storage in Swift

A Domain Representation Language

Parse command line arguments by defining a struct

A type-safe Postgres query builder for TypeScript.

A percentage type for Swift

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

🆔 Type-safe identifiers in Swift

🏷 Type-safe tags in Swift

Cone Programming Language

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

Haskell PostgreSQL library with compile-time type inference

coulomb: unit analysis for Scala

Type Safe LLVM IR ( Experimental )

Zero overhead utilities for preventing bugs at compile time

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

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

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

A runtime type system for JavaScript with full Flow compatibility.

Data interchange with algebraic data types.

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

WartRemover warts for Play Framework.

A plugin for Nexus that integrates Prisma

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

Error reporters for io-ts

A typed, persistent store for values of arbitrary types

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

A strongly typed GraphQL API framework

Python library providing type-checked function calls at runtime

Small PHP Library for type-safe input handling

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

Coercion and validation for data structures

Validation library with type-safe schemas and rules

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

⚡️ Runtime type-checker for JavaScript

Testing framework for Purescript

A simple Swift library for working with generic JSON structures

Safer universal equivalence (==) for Scala.

Type safe Vuex module with powerful module features