CornellBlockchain / bamboo
Bamboo: a morphing smart contract language
☆38Updated 6 years ago
Alternatives and similar repositories for bamboo:
Users that are interested in bamboo are comparing it to the libraries listed below
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Draft of SSZ specs repo☆16Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- ☆14Updated 3 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- Pure-solidity implementation of the SHA1 hash function.☆42Updated 2 years ago
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Updated 5 years ago
- ERC721 in Vyper☆44Updated 6 years ago
- (Aragon 1) Generate an Aragon environment☆20Updated 2 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 5 years ago
- Decentrally store files and manage their permissions☆16Updated 6 years ago
- ☆39Updated 4 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- Blocknative Assist widget for blockchain usability☆55Updated 2 years ago
- The world's first sybil resistant, fully decentralized reputation protocol.☆26Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Random research and simulations☆16Updated 6 years ago
- Bare bones, mobile-first set up for Moloch frontend with Abridged Wallet SDK by Odyssy☆21Updated 2 years ago
- [DEPRECATED] Common tests for all Eth2.0 implementations☆19Updated 6 years ago
- An example Truffle project showing how to use the 0x Dev Tools with the Truffle framework☆29Updated 2 years ago
- Book about the ideological context of cryptocurrency. 'Before Bitcoin' written by Pet3rpan.☆25Updated 6 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆16Updated 6 years ago
- Markdown documentation generator for Solidity☆34Updated 3 years ago
- A gas free offering of common Dai and Chai operations☆33Updated 2 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- Smart contract implementing fixed point math operations using structs for type checking.☆29Updated 4 years ago
- py.test plugin for testing Ethereum smart contracts☆20Updated 6 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago