zigguratt / lll-dispatcher
An LLL-based smart contract function dispatcher and example contract.
☆47Updated 7 years ago
Related projects: ⓘ
- An implementation of Ethereum ERC20 tokens in LLL☆67Updated 7 years ago
- Lightweight ENS resolver and library☆24Updated 7 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- ☆32Updated 5 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- An Order Statistic Tree in the Ethereum Solidity Language☆50Updated 6 years ago
- Compiler & Language definition for the Ethereum project☆61Updated 9 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago
- district0x dapp for district voting☆16Updated 3 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆25Updated 5 years ago
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆28Updated last year
- [DEPRECATED] A wrapper library around the Ledger line of devices that attempts to simplify usage and handle various failure modes/problem…☆14Updated 5 years ago
- Verify Estonian e-id signatures on Ethereum☆61Updated 2 years ago
- A series of attack tests on commonly used libraries and contracts in the ethereum web space☆20Updated 6 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- ☆11Updated 2 years ago
- Directly run EVM bytecode (using Parity technology)☆24Updated 7 years ago
- Fast, efficient, queryable storage for ethereum contracts.☆54Updated 6 years ago
- Sikorka client and smart contract☆37Updated last year
- Resolve .eth domains in chrome using an ethereum lite client☆27Updated 7 years ago
- Interface Specifications inside Ethereum☆36Updated 8 years ago
- ☆45Updated this week
- Admin toolkit for incentive-following software daemons☆19Updated 8 years ago
- http://hackthiscontract.io/☆50Updated last year
- Jepsen tests for the Tendermint distributed byzantine consensus system☆25Updated 7 years ago
- Automatic market maker with batched buy & sell orders☆32Updated last year
- Continuous Splitting Token Auction☆21Updated 2 years ago
- ☆28Updated this week
- ☆16Updated this week