The Agda mechanization of a gradual security-typed programming language with general mutable references.
-
Updated
May 23, 2024 - Agda
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Coercion and validation for data structures
High-performance data-driven data specification library for Clojure/Script.
Ruby environment variables with schema validation and coercion.
Simple and composable validation and coercion of data structures
A library to coerce values at run-time.
Flexible type system for Ruby with coercions and constraints
C# library which provides uniform API for conversion between types.
Conversion from one object type to another with a bit of black magic.
Parameter Validation, Transformation, and Type Coercion for Sinatra applications.
Time series analysis in the `tidyverse`
Declarative input schemas for Ruby apps.
🛠️ A collection of tools and utilities for Terminus applications.
Elixir library that provides macros which allow you to encapsulate business logic and validate incoming parameters with predefined contract.
Validation library with type-safe schemas and rules
Add a description, image, and links to the coercion topic page so that developers can more easily learn about it.
To associate your repository with the coercion topic, visit your repo's landing page and select "manage topics."