rust-lang / opsem-team

Home of the operational semantics team, used primarily for procedural items
16Updated 3 months ago

Alternatives and similar repositories for opsem-team:

Users that are interested in opsem-team are comparing it to the libraries listed below