74 Open source projects that are alternatives of or similar to vault

A formalisation of PCF in Agda using naive nominal binding

Parse command line arguments by defining a struct

Type level helper to ensure type safety in Vuex

Automatically discover and add missing types in your TypeScript code

Intuitive, type-safe configuration module for Nest framework ✨

⚡️ Runtime type-checker for JavaScript

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

Squid – type-safe metaprogramming and compilation framework for Scala

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

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

Safer universal equivalence (==) for Scala.

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

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

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 wrapper type for safer, expressive code.

Testing framework for Purescript

TopShell - a purely functional, reactive scripting language

A Domain Representation Language

Type safe Vuex module with powerful module features

A simple Swift library for working with generic JSON structures

Typed struct and value objects

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

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

Functional, composable, asynchronous, type-safe Python.

Validation library with type-safe schemas and rules

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

An advanced static type checker

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

A percentage type for Swift

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

Track missing type coverage to ensure type safety

Zero overhead utilities for preventing bugs at compile time

Small PHP Library for type-safe input handling

A runtime type system for JavaScript with full Flow compatibility.

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

A plugin for Nexus that integrates Prisma

ESLint config focused on maximizing type safety 💪

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

coulomb: unit analysis for Scala

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

A strongly typed GraphQL API framework

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

Python library providing type-checked function calls at runtime

A type-safe Postgres query builder for TypeScript.

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

🆔 Type-safe identifiers in Swift

🏷 Type-safe tags in Swift

Cone Programming Language

Coercion and validation for data structures

Haskell PostgreSQL library with compile-time type inference

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

Type Safe LLVM IR ( Experimental )

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

Error reporters for io-ts

C++ templates for type-safe bit manipulation

A fully type safe, compile time only units library.

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

Domino-ui

Type-safe thread-local storage in Swift