CornellBlockchain / bamboo
Bamboo: a morphing smart contract language
☆37Updated 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
- ERC721 in Vyper☆42Updated 6 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- Pure-solidity implementation of the SHA1 hash function.☆41Updated 2 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- ☆39Updated 4 years ago
- Markdown documentation generator for Solidity☆34Updated 3 years ago
- py.test plugin for testing Ethereum smart contracts☆20Updated 6 years ago
- Proofs of properties of CBC Casper☆35Updated 5 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 5 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Blocknative Assist widget for blockchain usability☆55Updated 2 years ago
- Repository for Research on Conviction voting schemes☆53Updated 2 years ago
- You will find an index of our research work here.☆25Updated 4 years ago
- 🦄🐷☆40Updated 3 years ago
- Book about the ideological context of cryptocurrency. 'Before Bitcoin' written by Pet3rpan.☆25Updated 6 years ago
- Aragon app integrated with the Uniswap protocol.☆21Updated last year
- Open source library for registry smart contracts☆30Updated 3 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Updated 6 years ago
- Totle Smart Contracts☆37Updated 2 years ago
- Visualize your Aragon DAO Templates☆29Updated 7 months ago
- A library for oracles on Ethereum☆51Updated last year
- ☆23Updated 3 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- Financial instruments on the Ethereum blockchain☆19Updated 8 years ago
- Playground for ZoKrates ZK Snark toolbox for Ethereum☆16Updated 5 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago