ptal/Rust.attribute
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
ptal / nominal-workbench
A prototype tool for experimenting nominal rewrite systems
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.
#14638797GitHub System ID
ptalOrganization / User
PublicVisibility
ActiveCatalog Status
More from ptal
ptal/rust
a safe, concurrent, practical language
ptal/oak
A typed parser generator embedded in Rust code for Parsing Expression Grammars
ptal/checkdigit
Checkdigit validator/generator library aimed to be proposed in Boost