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
• cartesi / machine-tests
  Cartesi machine tests
  ☆17Updated 2 years ago
• Calindra / nonodo
  Development Node for Cartesi Rolups
  ☆23Updated 7 months ago
• cartesi / machine-emulator-rom
  Cartesi Machine Emulator ROM
  ☆13Updated 2 years ago
• sunodo / sunodo
  Sunodo monorepo
  ☆31Updated 5 months ago
• Calindra / cartesify
  ☆34Updated 7 months ago
• prototyp3-dev / cartesi-client
  ☆23Updated last year
• rollmelette / rollmelette
  Cartesi Rollups High-Level Framework for Golang
  ☆14Updated 6 months ago
• prototyp3-dev / cartesapp
  ☆14Updated 2 months ago
• cartesi / rollups-contracts
  Smart Contracts for Cartesi Rollups
  ☆27Updated last week
• cartesi / machine-emulator-sdk
  Cartesi Machine SDK
  ☆21Updated 11 months ago
• argotorg / act
  Smart contract specification language
  ☆256Updated last week
• taikoxyz / taiko-reth
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
  ☆39Updated last week
• cartesi / arbitration-dlib
  Off-chain and On-chain dispute
  ☆21Updated 2 years ago
• cartesi / dave
  Cartesi's permissionless fraud-proof system.
  ☆24Updated last week
• cartesi / rollups-node
  Reference implementation of the Cartesi Rollups Node
  ☆28Updated this week
• anoma / juvix
  A language for intent-centric and declarative decentralised applications
  ☆503Updated last month
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆162Updated 2 years ago
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆320Updated 11 months ago
• NethermindEth / juno
  Starknet client implementation.
  ☆441Updated this week
• Consensys / linea-tutorials
  An EVM-equivalent zk-rollup for scaling Ethereum dapps
  ☆46Updated last year
• anoma / whitepaper
  ☆90Updated 3 months ago
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• FuelLabs / block-explorer-v2
  Block explorer frontend for Fuel.
  ☆17Updated 2 weeks ago
• argotorg / hevm
  Symbolic and concrete EVM execution engine
  ☆318Updated this week
• FuelLabs / sway-libs
  Libraries for the Sway Language
  ☆147Updated last month
• Luminara-Hub / namada-ecosystem
  ☆19Updated this week
• NethermindEth / voyager-verify
  A CLI Verifier Package for Voyager
  ☆30Updated last year
• matter-labs / era-sync_vm
  Circuit Implementation of zkVM for zkSync Era
  ☆279Updated 2 years 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!
  ☆45Updated 6 months ago