Pinned Loading

1. cartesi/dave cartesi/dave Public

   Cartesi's permissionless fraud-proof system.

   Rust 24 18

2. cartesi/sequencer cartesi/sequencer Public

   Deterministic sequencer prototype with low-latency soft confirmations

   Rust 2

3. cartesi/rollups-contracts cartesi/rollups-contracts Public

   Smart Contracts for Cartesi Rollups

   Solidity 27 45

4. cartesi/machine-solidity-step cartesi/machine-solidity-step Public

   The on-chain implementation of the Cartesi Machine

   Solidity 109 21

5. cartesi-tools-rs cartesi-tools-rs Public

   Tools for Cartesi DApps

   Rust 1

6. pallene-ffi pallene-ffi Public

   An implementation of a foreign function interface for Pallene