CornellBlockchain / bamboo
Bamboo: a morphing smart contract language
☆37Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for bamboo
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- ERC721 in Vyper☆41Updated 6 years ago
- 0x Protocol v2 Audit☆24Updated 5 years ago
- ☆38Updated 4 years ago
- Continuous Splitting Token Auction☆21Updated 3 years ago
- Proofs of properties of CBC Casper☆35Updated 5 years ago
- State Machine☆18Updated 6 years ago
- py.test plugin for testing Ethereum smart contracts☆20Updated 6 years ago
- You will find an index of our research work here.☆25Updated 3 years ago
- A library for oracles on Ethereum☆51Updated last year
- Financial instruments on the Ethereum blockchain☆19Updated 8 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated last year
- Automatic market maker with batched buy & sell orders☆32Updated last year
- Open source library for registry smart contracts☆30Updated 3 years ago
- Repository for Research on Conviction voting schemes☆51Updated last year
- Classic source for Truebit documentation☆59Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 2 years ago
- Collection of research papers written within Gnosis☆90Updated 2 years ago
- adChain registry smart contracts☆30Updated 6 years ago
- Markdown documentation generator for Solidity☆34Updated 2 years ago
- Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…☆50Updated last year