98 Open source projects that are alternatives of or similar to Univeq

Parse command line arguments by defining a struct

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

A useful Firebase-Cloud-Firestore Wrapper with Codable.

A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness

A lightweight alternative template of SAFE for happy cross-IDE full-stack F# development

A type-safe data modelling library for TypeScript

Type safe Vuex module with powerful module features

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

A plugin for Nexus that integrates Prisma

A simple runtime JSON type checker.

JSON Validator for TypeScript - Safer JSON.parse() validating by TypeScript types

A fully type safe, compile time only units library.

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

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

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

🏷 A wrapper type for safer, expressive code.

🐛 Caterpillar: Type-safe date formats in Swift, no more "yyyy-MM-dd'T'HH:mm:ssZ"

A simple library which provides a way to read and write the memory of other processes

Type-safe and human-readable set of bool flags

Zero overhead utilities for preventing bugs at compile time

🔩 The missing TypeScript utils

Cone Programming Language

Productivity toolbelt for React/Redux/Redux-Saga apps. 1.7kb minzipped

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

Small PHP Library for type-safe input handling

Haskell PostgreSQL library with compile-time type inference

Coercion and validation for data structures

Type Safe LLVM IR ( Experimental )

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

A runtime type system for JavaScript with full Flow compatibility.

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

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

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

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

Data interchange with algebraic data types.

A type-safe Postgres query builder for TypeScript.

🍬 a functional language for building type-safe, scalable, and maintainable applications

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

WartRemover warts for Play Framework.

🆔 Type-safe identifiers in Swift

Cassidy programming language, bringing static typing, strictness, safety and precision into your web project

Automatically discover and add missing types in your TypeScript code

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

Typed struct and value objects

A typed, persistent store for values of arbitrary types

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

C++ templates for type-safe bit manipulation

Extensible, Type Safe Error Handling in Haskell

A strongly typed GraphQL API framework

A formalisation of PCF in Agda using naive nominal binding

Better way to use SwiftyJSON with custom models

Intuitive, type-safe configuration module for Nest framework ✨

A Domain Representation Language

Scala wrapper for Apache TinkerPop 3 Graph DSL

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

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

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

Convenient access to private members of Java classes (Java 8)

TopShell - a purely functional, reactive scripting language

envy: Deserialize environment variables into type-safe structs