GitHub repository: pepyakin/PetraVM
Primary language: Rust
Description: A verifiable supercomputer