Pinned Loading

1. witnessed witnessed Public

   Proof-carrying values for enforcing invariants across decoupled functions.

   Rust 2

2. bit-string bit-string Public

   bit-string provides an owned bit string type for Rust.

   Rust 1

3. score-set score-set Public

   A Rust library for building static weighted scoring operator sets.

   Rust 1

4. int-intervals int-intervals Public

   A no_std-friendly closed-open integer interval algebra, canonical interval-set containers, and overlap-stack structures.

   Rust 1