microsoft/verismo
A formally verified security module for AMD confidential VMs
Is microsoft/verismo beginner-friendly?
We have not seen enough recent pull requests from outside contributors to microsoft/verismo to say how often they are merged. No beginner-friendly issue is open right now; the list below has the other issues we hold for it.
- Stars
- 74
- Forks
- 7
- Open beginner issues
- 0
- Indexed issues
- 0
- Avg merge
- 3d 12h
- Merged PRs (30d)
- 2
- Dominant language
- Rust
- License
- MIT
- Last GitHub push
- Sep 18, 2026
- Latest indexed
- Sep 19, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- No beginner labels indexed
How to contribute to microsoft/verismo
- There is no contributing guide, so start from the README and a few recently merged pull requests to see how changes are proposed.
- Read its code of conduct: it covers issues and pull requests as well as chat.
- Your contributions will be published under the project's MIT license.
- Follow the repository to hear when a new beginner-friendly issue opens, or look through the other issues below.
Loading issues
No issues to show.