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 / machine-tests
  Cartesi machine tests
  ☆17Updated last year
• sunodo / sunodo
  Sunodo monorepo
  ☆31Updated 5 months ago
• cartesi / grpc-interfaces
  Cartesi gRPC Interfaces
  ☆18Updated last year
• Calindra / cartesify
  ☆34Updated 6 months ago
• Calindra / nonodo
  Development Node for Cartesi Rolups
  ☆23Updated 6 months ago
• cartesi / machine-emulator-rom
  Cartesi Machine Emulator ROM
  ☆13Updated 2 years ago
• taikoxyz / taiko-reth
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
  ☆39Updated this week
• cartesi / dave
  Cartesi's permissionless fraud-proof system.
  ☆24Updated 2 weeks ago
• prototyp3-dev / cartesi-client
  ☆23Updated last year
• rollmelette / rollmelette
  Cartesi Rollups High-Level Framework for Golang
  ☆14Updated 5 months ago
• cartesi / machine-emulator-sdk
  Cartesi Machine SDK
  ☆21Updated 10 months ago
• prototyp3-dev / cartesapp
  ☆14Updated last month
• cartesi / rollups-node
  Reference implementation of the Cartesi Rollups Node
  ☆28Updated this week
• formal-land / coq-of-solidity
  Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
  ☆41Updated 5 months ago
• cartesi / rollups-contracts
  Smart Contracts for Cartesi Rollups
  ☆26Updated last week
• AztecProtocol / barretenberg
  ☆187Updated 6 months ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆163Updated 2 years ago
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated last year
• NethermindEth / voyager-verify
  A CLI Verifier Package for Voyager
  ☆30Updated last year
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆128Updated this week
• Consensys / linea-besu
  Linea implementation based on Besu
  ☆72Updated 3 weeks ago
• AztecProtocol / aztec-packages
  ☆396Updated this week
• FuelLabs / bridge-fungible-token
  Fuel contract for managing and issuing bridged versions of ERC-20 tokens
  ☆14Updated 2 years ago
• namada-net / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆92Updated last month
• sismo-core / sismo-connect-packages
  ☆22Updated 2 years ago
• cartesi / machine-emulator
  The off-chain implementation of the Cartesi Machine
  ☆98Updated this week
• EspressoSystems / espresso-network
  ☆166Updated this week
• matter-labs / era-compiler-llvm
  ZKsync fork of the LLVM framework (EraVM).
  ☆37Updated last week
• anoma / whitepaper
  ☆90Updated 2 months ago
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆151Updated this week