A library for imbuing rules into types and elevating them to more robust types
Refinement types.
Loom — a programming language for safe-by-construction software. Recipes with first-class effects, refinement types, and a zero-dep Loom → Rust → rustc → run pipeline.
A transpiler which converts Mamba files to Python 3 files
Domain-specific refined types for the Rust and Stillwater ecosystem
Simple refinement types; parse, don't validate!
Convenient creation of type-safe refinement types.
Intermediate representation (IR) and AST types for TensorLogic
String newtypes
String newtypes
Lightweight, macro-free newtypes with refinement and derived traits.
Core traits and types for pseudo-Refinement Types.