What about: PMEs?
Open
- Dominant language
- Rust
- Stars
- 2.6k
- Forks
- 179
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 29
Description
See [this discussion](https://aeneas-verif.zulipchat.com/#narrow/channel/349819-general/topic/Zerocopy.2FHermes/near/573180904) on the Aeneas Zulip.
Contributor guide
Assessment
This issue has not been assessed yet.