cartesi/dave external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

cartesi/dave

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/cartesi/dave)

Close

cartesi / daveView on GitHubMore

• External links
• Readme badge

Cartesi's permissionless fraud-proof system.

☆26Apr 28, 2026Updated this week

Alternatives and similar repositories for dave

Users that are interested in dave are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• crypto-bug-hunters / bug-buster

  View on GitHub
  🪲 Bug Buster, a bug bounty platform powered by Cartesi Rollups
  ☆13Mar 20, 2025Updated last year
• cartesi / compute

  View on GitHub
  Cartesi Compute SDK
  ☆34Nov 6, 2023Updated 2 years ago
• cartesi / arbitration-dlib

  View on GitHub
  Off-chain and On-chain dispute
  ☆21Jul 13, 2023Updated 2 years ago
• cartesi / machine-solidity-step

  View on GitHub
  The on-chain implementation of the Cartesi Machine
  ☆109Apr 15, 2026Updated 2 weeks ago
• cartesi / rollups-node

  View on GitHub
  Reference implementation of the Cartesi Rollups Node
  ☆28Updated this week
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• cartesi / rollups-contracts

  View on GitHub
  Smart Contracts for Cartesi Rollups
  ☆27Updated this week
• sunodo / sunodo

  View on GitHub
  Sunodo monorepo
  ☆31Jun 23, 2025Updated 10 months ago
• cartesi / docs

  View on GitHub
  SDK documentation
  ☆34Updated this week
• cartesi / state-fold

  View on GitHub
  Blockchain Reader Library
  ☆10Jan 20, 2024Updated 2 years ago
• thunderk / spacetac

  View on GitHub
  Turn-based tactical RPG, set in space, playable directly in browser
  ☆12May 16, 2019Updated 6 years ago
• cartesi / demo

  View on GitHub
  A simple demo of the Cartesi Project
  ☆10Nov 4, 2019Updated 6 years ago
• igorsouza-dev / chessgame-backend

  View on GitHub
  An API made with Nodejs + Express.js for the game "Chess Mate"
  ☆21Jan 24, 2023Updated 3 years ago
• iamlogand / republic-of-rome-online

  View on GitHub
  An online adaptation of The Republic of Rome, a strategy board game
  ☆11Apr 22, 2026Updated last week
• GMartigny / settlement

  View on GitHub
  Welcome to your new settlement
  ☆15Jul 10, 2018Updated 7 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• cartesi / honeypot

  View on GitHub
  ☆61Feb 23, 2026Updated 2 months ago
• minaminao / op-club-sqrt

  View on GitHub
  Solution for the Optimizoor club's sqrt challenge
  ☆18Nov 2, 2022Updated 3 years ago
• op-rs / maili

  View on GitHub
  Composable rust types and interfaces specific to the OP Stack. Built on Alloy.
  ☆16Feb 21, 2025Updated last year
• lukeautry / openapi-ts-client-gen

  View on GitHub
  An OpenAPI (Swagger) TypeScript client generator
  ☆17Dec 6, 2022Updated 3 years ago
• kleros / kleros-moderate

  View on GitHub
  Content Moderation using Reality.Eth with Kleros arbitration
  ☆12Feb 19, 2025Updated last year
• guiltygyoza / 3d-asset-on-starknet

  View on GitHub
  adopting gltf 2.0 standard to work towards 3d asset interoperability
  ☆14Jan 3, 2022Updated 4 years ago
• sibelius / js-playground

  View on GitHub
  JavaScript Playground similar to runkit but on top of MDX and local first
  ☆13Oct 9, 2020Updated 5 years ago
• nitin42 / react-shader-canvas

  View on GitHub
  A small utility function to render the shaders using React
  ☆20Oct 13, 2018Updated 7 years ago
• namin / higher-rank

  View on GitHub
  Practical type inference for arbitrary-rank types
  ☆11May 25, 2019Updated 6 years ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• mintersdev / Rhascau

  View on GitHub
  Rhascau is a turn-based strategy game, in a style of pod racing. Fully onchain, running on EVM smart contracts. Developed in 2022, launch…
  ☆12Jul 29, 2023Updated 2 years ago
• Irys-xyz / provenance-toolkit

  View on GitHub
  A collection of UI components to help kickstart your next project
  ☆12Oct 31, 2024Updated last year
• thedonutfactory / donut

  View on GitHub
  🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs
  ☆23Jun 3, 2023Updated 2 years ago
• AlexandreBelling / go-boojum

  View on GitHub
  A golang demo for zk-SNARK aggregation
  ☆41Jun 23, 2019Updated 6 years ago
• hargoniX / Leanwuzla

  View on GitHub
  Connecting bv_decide to SMTLIB.
  ☆13Jan 5, 2026Updated 3 months ago
• OpacityLabs / opacity-rn-sample

  View on GitHub
  ☆18Oct 1, 2025Updated 6 months ago
• guoyucode / electron-vue-guoyu

  View on GitHub
  The latest version of electron, integration with the latest version of Vue. 最新版electron, 与最新版vue的集成. 开箱即用 !
  ☆10Oct 6, 2020Updated 5 years ago
• aerius-labs / tss-mpc-node

  View on GitHub
  ☆20Apr 10, 2025Updated last year
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated last year
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• olulofe / Building-A-Betting-Smart-Contract-Interacting-With-Oraclize

  View on GitHub
  ☆12Apr 11, 2018Updated 8 years ago
• aripiprazole / soft

  View on GitHub
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Dec 4, 2024Updated last year
• gnosis / conditional-tokens-explorer

  View on GitHub
  ☆13Jun 14, 2023Updated 2 years ago
• logstash-plugins / logstash-filter-jdbc_streaming

  View on GitHub
  A Logstash filter that can enrich events with data from a database
  ☆12Nov 8, 2021Updated 4 years ago
• midsum-salrux / faux

  View on GitHub
  A bridge between urbit groups and discord
  ☆11Sep 29, 2022Updated 3 years ago
• goeo- / public-transport

  View on GitHub
  we're auditing cars, or something
  ☆11Nov 19, 2024Updated last year
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆21Sep 25, 2024Updated last year