Cartesi's permissionless fraud-proof system.
☆27Oct 26, 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.
Sorting:
- 🪲 Bug Buster, a bug bounty platform powered by Cartesi Rollups☆14Mar 20, 2025Updated last year
- The off-chain implementation of the Cartesi Machine☆115Updated this week
- Cartesi Compute SDK☆34Nov 6, 2023Updated 2 years ago
- Deprecated: replaced by packaged distributions of the Cartesi Machine☆22Oct 16, 2026Updated 2 weeks ago
- Off-chain and On-chain dispute☆22Jul 13, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The on-chain implementation of the Cartesi Machine☆109Oct 15, 2026Updated 2 weeks ago
- Smart Contracts for Cartesi Rollups☆27Updated this week
- Cartesi Rollups☆30Nov 8, 2023Updated 2 years ago
- Cartesi CLI tool☆12Updated this week
- Reference implementation of the Cartesi Rollups Node☆31Updated this week
- Sunodo monorepo☆32Jul 9, 2026Updated 3 months ago
- SDK documentation☆35Updated this week
- Deprecated: Linux kernel images are now released by cartesi/linux☆16Oct 16, 2026Updated 2 weeks ago
- Modifies the code of the RtlUserThreadStart callback and reads the arguments passed to it. Then it changes the initial execution argument…☆17Mar 4, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Solution for the Optimizoor club's sqrt challenge☆18Nov 2, 2022Updated 3 years ago
- One-click mint for Soulbound NFTs on Ethereum, Optimism & Polygon.☆20May 13, 2022Updated 4 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆58Nov 27, 2023Updated 2 years ago
- Set up pyenv to use in Travis CI☆17Mar 28, 2019Updated 7 years ago
- ☆34May 21, 2025Updated last year
- BLAKE3 on FPGA☆10Feb 21, 2022Updated 4 years ago
- ☆12Mar 27, 2025Updated last year
- Introducing the L3 Orbit Chain Deployment Interface, a user-friendly tool to effortlessly deploy your own Layer 3 Orbit Chain. This repo…☆33Aug 10, 2026Updated 2 months ago
- Deprecated: the emulator builds its device tree itself and needs no ROM☆13Oct 16, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Wait-Free Eras (PPoPP '20)☆10Jan 11, 2020Updated 6 years ago
- ☆60Aug 11, 2026Updated 2 months ago
- Download, parse, and filter data from Literotica. Data-ready for The-Pile.☆12Sep 18, 2020Updated 6 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Jun 24, 2026Updated 4 months ago
- 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 3 years ago
- Go library for synchronising all the things☆12Jan 21, 2026Updated 9 months ago
- Proving System For VEX☆14Nov 17, 2025Updated 11 months ago
- ☆12Sep 26, 2024Updated 2 years ago
- programmable on-chain identity primitive protocol☆14Jun 23, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A collection of UI components to help kickstart your next project☆12Oct 31, 2024Updated last year
- theme inspired by transfem emo aesthetics - special for cat girls 💜😺☆11Sep 29, 2026Updated last month
- The First Dungeon is an RPG game project, written in plain CSS, HTML, and JavaScript.☆10Feb 24, 2024Updated 2 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 6 years ago
- Checks whether a change in a PR comes with an accompanying Changelog entry☆19Aug 14, 2026Updated 2 months ago
- Neosound☆11Oct 27, 2022Updated 4 years ago