Alternatives and similar repositories for machine-guest-tools

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

• sunodo / sunodo
  Sunodo monorepo
  ☆31Updated 7 months ago
• Calindra / nonodo
  Development Node for Cartesi Rolups
  ☆23Updated 9 months ago
• Calindra / cartesify
  ☆34Updated 8 months ago
• cartesi / machine-emulator-rom
  Cartesi Machine Emulator ROM
  ☆13Updated 2 years ago
• cartesi / machine-tests
  Cartesi machine tests
  ☆17Updated 2 years ago
• rollmelette / rollmelette
  Cartesi Rollups High-Level Framework for Golang
  ☆14Updated last month
• cartesi / machine-emulator-sdk
  Cartesi Machine SDK
  ☆21Updated last year
• 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
  ☆39Updated last week
• formal-land / rocq-of-solidity
  Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.
  ☆46Updated last month
• AztecProtocol / barretenberg
  ☆194Updated 2 months ago
• namada-net / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆92Updated 3 months ago
• prototyp3-dev / cartesi-client
  ☆23Updated last year
• cartesi / rollups-contracts
  Smart Contracts for Cartesi Rollups
  ☆27Updated this week
• cartesi / rollups-node
  Reference implementation of the Cartesi Rollups Node
  ☆28Updated last week
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆36Updated 2 years ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆162Updated 2 years ago
• argotorg / act
  Smart contract specification language
  ☆263Updated this week
• argotorg / solcore
  experimental solidity compiler
  ☆95Updated last week
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆84Updated 2 years ago
• starkware-libs / formal-proofs
  ☆66Updated last year
• EspressoSystems / HotShot
  ☆161Updated 11 months ago
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆148Updated last week
• Verified-zkEVM / clean
  Lean circuit DSL
  ☆121Updated this week
• reilabs / sunspot
  ☆33Updated this week
• AztecProtocol / aztec-packages
  ☆425Updated this week
• lambdaclass / rex
  Useful tools for developing on Ethereum powered by Ethrex
  ☆18Updated 3 weeks ago
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆321Updated last year
• anoma / whitepaper
  ☆90Updated 4 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 …
  ☆168Updated 8 months ago