Alternatives and similar repositories for machine-guest-tools

Users that are interested in machine-guest-tools are comparing it to the libraries listed below

• cartesi / grpc-interfaces
  Cartesi gRPC Interfaces
  ☆18Updated last year
• Calindra / nonodo
  Development Node for Cartesi Rolups
  ☆23Updated 3 months ago
• sunodo / sunodo
  Sunodo monorepo
  ☆31Updated last month
• cartesi / machine-tests
  Cartesi machine tests
  ☆17Updated last year
• Calindra / cartesify
  ☆35Updated 2 months ago
• rollmelette / rollmelette
  Cartesi Rollups High-Level Framework for Golang
  ☆14Updated last month
• cartesi / dave
  Cartesi's permissionless fraud-proof system.
  ☆24Updated this week
• cartesi / machine-emulator-rom
  Cartesi Machine Emulator ROM
  ☆13Updated last year
• cartesi / rollups-contracts
  Smart Contracts for Cartesi Rollups
  ☆24Updated this week
• prototyp3-dev / cartesi-client
  ☆23Updated last year
• taikoxyz / taiko-reth
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
  ☆38Updated 2 months ago
• formal-land / coq-of-solidity
  Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
  ☆37Updated 2 months ago
• ethereum / act
  Smart contract specification language
  ☆245Updated 2 weeks ago
• prototyp3-dev / cartesapp
  ☆14Updated this week
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆322Updated 7 months ago
• Consensys / linea-tracer
  Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…
  ☆51Updated this week
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆165Updated last year
• namada-net / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆91Updated this week
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆315Updated 6 months ago
• NethermindEth / juno
  Starknet client implementation.
  ☆429Updated this week
• cartesi / rollups-node
  Reference implementation of the Cartesi Rollups Node
  ☆28Updated last week
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆422Updated this week
• starkware-libs / stwo
  ☆429Updated this week
• AztecProtocol / barretenberg
  ☆177Updated 2 months ago
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆171Updated 2 months ago
• lambdaclass / ethrex
  Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
  ☆512Updated this week
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆123Updated this week
• celestiaorg / cosmos-sdk
  A Framework for Building High Value Public Blockchains
  ☆22Updated this week
• AztecProtocol / aztec-packages
  ☆348Updated this week
• NethermindEth / voyager-verify
  A CLI Verifier Package for Voyager
  ☆30Updated last year