kadena-io / pact-todomvc
Demo of integrating a JS webapp with the Pact smart contract langauge
☆22Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pact-todomvc
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Ethereum browser client based on ipfs/libp2p☆20Updated 7 years ago
- Elastify the Ethereum blockchain☆25Updated 6 years ago
- DApp for proof of physical address (PoPA) attestation for validators of POA Network☆24Updated 5 years ago
- BigchainDB ledger plugin for COALA IP☆16Updated 2 years ago
- Static Websites on the Distributed Web☆33Updated last year
- Solidity compiler wraper to generate JS.☆15Updated last year
- ☆33Updated last week
- A typed, functional language that targets the EVM.☆55Updated 7 years ago
- 😎 A curated list of awesome EulerBeats resources.☆12Updated 3 years ago
- 0x Protocol v2 Audit☆24Updated 5 years ago
- An Ethereum Name Service interface module built on EthJS☆34Updated last year
- This utility library has been moved to the EthereumJS VM monorepo.☆11Updated 3 years ago
- An Example Solidity Application Using the Chanterelle Build Tool☆43Updated 6 years ago
- 💸 TokenAmount · A transportable object for token amounts with formatting.☆20Updated last year
- Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites☆12Updated 6 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆25Updated 5 years ago
- ☆38Updated 6 years ago
- The Reactive Bond API☆12Updated 5 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- A smart contract that allows tokens to be stored in a 'checking account' and released with a signature☆24Updated 7 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- A skeleton dapp☆16Updated 6 years ago
- A simple map of ethereum networks to ENS registry addresses.☆12Updated 11 months ago
- The world's first sybil resistant, fully decentralized reputation protocol.☆26Updated 5 years ago