Computable real numbers with guaranteed correctness via interval refinement
Refine your file collections using Rust!
Lightweight, macro-free newtypes with refinement and derived traits.
Simple refinement types; parse, don't validate!
A crate that implements a pseudo-Refinement Type in Rust.
Core traits and types for pseudo-Refinement Types.
Derive macros for faux-refine. Automatically implements Pred.
2D Finite Element Method Toolkit
A library for imbuing rules into types and elevating them to more robust types
Refinement types.
Algorithms to compare labelled transition systems with respect to various refinement relations.
AI-native macOS menu bar dictation for developers.