Integers that are constrained within inclusive ranges.
A crate to constrain io inputs
Ranged constant integers. Useful for lookup tables with constrained values to avoid secondary bounds check.
Boss of your dev environment
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 library for parsing Jason-like files into JSON, YAML, or TOML with support for inline file expansion.
Abstract syntax tree definitions for BHC
A small, no_std half-open interval algebra library for primitive integer types.
A library for pretty print CSV as a table
Property Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving
A self-hosting C compiler for Z80 targeting RetroShield hardware
A library for rolling dice based on simple expressions
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.