nrc/n2
WIP another go at a syntactic proof tool
Public GitHub Catalog
Discovered Sep 30, 2026
nrc / rfcs
RFCs for changes to Rust
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.
#17579664GitHub System ID
nrcOrganization / User
PublicVisibility
ActiveCatalog Status
More from nrc
nrc/dxr-rust-config
Configuration and build scripts for building a DXR index of the Rust compiler and libraries
nrc/rust
a safe, concurrent, practical language
nrc/dxr
An intelligent source code browser