osspath
rust-lang

opsem-team

Home of the operational semantics team, used primarily for procedural items

20
Stars
1
Forks
1
Issues
Apache-2.0
License
active
Last GitHub commit: Jun 7, 2026
View on GitHub →
Maintained by
The Rust ProjectProgramming Language→
Contribution
1 open issue →active project
← Browse all reposSomething inaccurate? Report a correction →