cartesi / demoLinks
A simple demo of the Cartesi Project
☆10Updated 5 years ago
Alternatives and similar repositories for demo
Users that are interested in demo are comparing it to the libraries listed below
Sorting:
- Off-chain and On-chain dispute☆21Updated 2 years ago
- The on-chain implementation of the Cartesi Machine☆109Updated last week
- ☆37Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- A library for interacting with Web3 protocols in a easier fashion through a domain-specific language☆25Updated 3 months ago
- Chicago Ethereum Meetup QF / CLR Pilot☆12Updated last year
- Simple Aragon App forwarder that requires a user to deposit fees before executing an action☆11Updated 4 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆28Updated 6 months ago
- Cartesi machine tests☆17Updated last year
- Eth2 CLI debugging tool☆38Updated 6 months ago
- Aragon DAO Template for public community coordination☆15Updated 5 years ago
- M O N O R E P O☆69Updated 2 years ago
- ☆45Updated 6 years ago
- Smart contract templates for publishing BrightID verifications on-chain and using those verifications☆38Updated last year
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated 2 years ago
- integrate signed message recovery directly in your contracts☆37Updated 6 years ago
- ☆29Updated 3 years ago
- 👹 Moloch whose fingers are ten armies!☆35Updated 10 months ago
- ⚡ All Fuel javascript utilities and implementations.☆83Updated 2 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Updated 5 years ago
- Very small Ethereum signer and verifier☆37Updated 5 years ago
- Baal sets the season, and gives forth His voice from the clouds.☆94Updated last year
- Web3 ganache-cli commands that allow moving forward and backward in time☆48Updated 2 years ago
- ☆21Updated 4 years ago
- Test and development helper methods and scripts for GSN☆21Updated 5 years ago
- An implementation and documentation repo for developing the ERC-998 standard for Ethereum.☆107Updated 4 years ago
- HomeWork is an autonomous utility for finding, sharing and reusing home addresses for contracts.☆124Updated last year
- A Kurtosis package that spins up a local Ethereum testnet☆16Updated last year
- A simple demonstration of a proposed L2 gateway specification☆53Updated 2 years ago
- ☆81Updated 2 years ago