nrc/libhoare
Design by contract style assertions for Rust
Public GitHub Catalog
Discovered Oct 2, 2026
nrc / rustaceans.org
Backing data for
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#23333558GitHub System ID
nrcOrganization / User
PublicVisibility
ActiveCatalog Status
More from nrc
nrc/n2
WIP another go at a syntactic proof tool
nrc/dxr-rust-config
Configuration and build scripts for building a DXR index of the Rust compiler and libraries
nrc/rfcs
RFCs for changes to Rust