Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups
☆16Nov 10, 2026Updated this week
Alternatives and similar repositories for riscv-pvm
Users that are interested in riscv-pvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools and scripts to set up and operate a Tezos baker capable of validating, accusing, participating in the DAL, and optionally paying it…☆11Oct 20, 2026Updated 3 weeks ago
- Standard Tests for OP Stack Component Implementations.☆18Nov 11, 2024Updated 2 years ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- JavaScript runtime and compute platform build on Tezos Smart Rollups☆44May 20, 2026Updated 5 months ago
- A collection of async Rust benchmarks aimed to understand the performance implications of various async patterns.☆12Jun 11, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated last year
- Emacs major mode to edit Magic: the Gathering decks.☆10May 30, 2025Updated last year
- Japanese dictionary application for Android☆11May 28, 2026Updated 5 months ago
- ctez contract and frontend☆23Aug 21, 2024Updated 2 years ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆14Apr 27, 2025Updated last year
- A Minimal, Composable REVM Adapter for Commonware QMDB. Built in Rust.☆14Jan 30, 2026Updated 9 months ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- XVI - Ethereum execution client☆17Feb 25, 2026Updated 8 months ago
- A pure OCaml library for manipulating colors in different color spaces.☆21Feb 27, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- (DEPRECATED) new app is available here : https://github.com/LedgerHQ/app-tezos☆12May 30, 2024Updated 2 years ago
- A suite of portable, extensible `std` components for the superchain.☆21Jan 20, 2025Updated last year
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆32Jan 20, 2026Updated 9 months ago
- A Gura parser for Rust☆23Mar 27, 2025Updated last year
- ☆69Nov 24, 2025Updated 11 months ago
- ☆31Oct 9, 2022Updated 4 years ago
- An end to end test suite for the OP Stack☆17Apr 24, 2023Updated 3 years ago
- A verbose CLI to probe go-ethereum data structures, built in rust.☆14Mar 3, 2023Updated 3 years ago
- A simple RISC-V runtime.☆35Sep 12, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Ansible manifest to provision a Raspberry Pi as a Tezos signing device☆12Jul 14, 2023Updated 3 years ago
- Huff development plugin for Vim☆25Dec 31, 2022Updated 3 years ago
- ☆14Sep 22, 2025Updated last year
- Fork of cannon that supports Rust☆15Sep 24, 2022Updated 4 years ago
- Fast, crash-safe evaluation runner for coding agents☆12Jul 26, 2026Updated 3 months ago
- a lib☆11Oct 16, 2025Updated last year
- Disputify - Visualisation for fault dispute games.☆11Jul 22, 2023Updated 3 years ago
- Parser for ELF object format.☆12Dec 24, 2021Updated 4 years ago
- Brute force nix store path prefixes☆11Apr 5, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A collection of scripts for running eth + optimism full nodes☆13Mar 15, 2023Updated 3 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 3 years ago
- Safe OCaml-Rust Foreign Function Interface☆47Feb 14, 2023Updated 3 years ago
- XTZ distribution engine for bakers.☆15Sep 6, 2026Updated 2 months ago
- A K semantics of Tezos' Michelson language.☆17Oct 31, 2025Updated last year
- RISC-V emulator in Rust that boots Linux with JIT on ARM64/x86_64 and Sv39 virtual memory☆103Apr 7, 2026Updated 7 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Sep 25, 2026Updated last month
Are these results useful?