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
• cartesi / machine-tests
  Cartesi machine tests
  ☆17Updated last year
• sunodo / sunodo
  Sunodo monorepo
  ☆31Updated 2 months ago
• Calindra / cartesify
  ☆35Updated 3 months ago
• cartesi / machine-emulator-rom
  Cartesi Machine Emulator ROM
  ☆13Updated last year
• formal-land / coq-of-solidity
  Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
  ☆38Updated 3 months ago
• rollmelette / rollmelette
  Cartesi Rollups High-Level Framework for Golang
  ☆14Updated 2 months ago
• cartesi / dave
  Cartesi's permissionless fraud-proof system.
  ☆24Updated this week
• taikoxyz / taiko-reth
  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
  ☆38Updated this week
• argotorg / act
  Smart contract specification language
  ☆247Updated last month
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆165Updated 2 years ago
• prototyp3-dev / cartesi-client
  ☆23Updated last year
• starkware-libs / formal-proofs
  ☆61Updated 10 months ago
• cartesi / rollups-node
  Reference implementation of the Cartesi Rollups Node
  ☆28Updated last week
• cartesi / machine-emulator-sdk
  Cartesi Machine SDK
  ☆21Updated 7 months ago
• anoma / whitepaper
  ☆82Updated 2 weeks ago
• prototyp3-dev / cartesapp
  ☆14Updated last week
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆72Updated 2 weeks ago
• AztecProtocol / barretenberg
  ☆180Updated 3 months ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆96Updated this week
• 0xMiden / compiler
  Compiler from Rust to Miden Assembly
  ☆85Updated this week
• namada-net / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆91Updated 3 weeks ago
• cartesi / rollups-contracts
  Smart Contracts for Cartesi Rollups
  ☆24Updated this week
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆131Updated 10 months ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆59Updated this week
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆88Updated this week
• argotorg / hevm
  Symbolic and concrete EVM execution engine
  ☆305Updated this week
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆125Updated this week
• Consensys / linea-monorepo
  The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generat…
  ☆82Updated this week