CornellBlockchain / bambooLinks
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
Sorting:
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- ☆14Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Random research and simulations☆16Updated 6 years ago
- Smart contracts for futarchy curated registry☆14Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Open source library for registry smart contracts☆30Updated 3 years ago
- ☆34Updated 4 years ago
- Totle Smart Contracts☆37Updated 3 years ago
- Token Sale example implementing GasToken Factory methods☆19Updated 6 years ago
- Generalized atomic swap marketplaces for ERC-777(advanced token standard) and ERC-721 (non-fungible tokens)☆29Updated 2 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- ERC721 in Vyper☆44Updated 6 years ago
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆19Updated 4 years ago
- Aragon app integrated with the Uniswap protocol.☆21Updated last year
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- Repository to track bounties across all of PegaSys's repositories☆10Updated 5 years ago
- Bare bones, mobile-first set up for Moloch frontend with Abridged Wallet SDK by Odyssy☆21Updated 2 years ago
- A modern, flexible Ethereum smart contract abstraction.☆26Updated 2 years ago
- Visualize your Aragon DAO Templates☆29Updated 11 months ago
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Updated 5 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 5 years ago
- 😎 A curated list of awesome EulerBeats resources.☆12Updated 4 years ago
- Blocknative Assist widget for blockchain usability☆55Updated 2 years ago
- Proofs of properties of CBC Casper☆35Updated 5 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
- py.test plugin for testing Ethereum smart contracts☆20Updated 6 years ago