osspath
Archive
Repos
osspath
Paths
Repos
Crates
Ecosystems
Orgs
Jobs
Explore
Search
⌘K
Start your route
← Repositories
rust-lang
opsem-team
Home of the operational semantics team, used primarily for procedural items
23
Stars
2
Forks
1
Issues
Apache-2.0
License
active
Last GitHub commit: Sep 14, 2026
View on GitHub →
Build profile
Single crate
Layout
Parsed from Cargo.toml · 2026-07-03
Maintained by
The Rust Project
Programming Language
→
Contribution
1 open issue →
active project
← Browse all repos
Metadata checked 2026-06-08 · dependencies parsed 2026-07-03
Something inaccurate? Report a correction →