mmalvarez / GazelleLinks
Gazelle = Generalized Elle. A framework for reusable programming language semantics.
☆18Updated 3 years ago
Alternatives and similar repositories for Gazelle
Users that are interested in Gazelle are comparing it to the libraries listed below
Sorting:
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- a MythX API client wrapper☆17Updated 9 months ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- Single API for resolving Solidity artefacts and imports☆32Updated 2 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 3 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Updated 6 years ago
- Open source library for registry smart contracts☆30Updated 3 years ago
- The plugin allows executing security check via MythX in Remix IDE☆17Updated 2 years ago
- Use GodMode to get full control of any Ethereum contract or account☆42Updated last year
- The Görli EIP working repository for Aura, Clique, Claque☆13Updated 6 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆13Updated 2 years ago
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 4 years ago
- PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987☆18Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- An IDE for building Code Tutorials☆43Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated 2 years ago
- 0x Protocol v2 Audit☆26Updated 5 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- A functional library for the EVM built in Solidity☆12Updated 4 years ago
- A Twitter bot for interacting with a TCR without knowing what a blockchain is☆28Updated 6 years ago
- ERC721 in Vyper☆44Updated 6 years ago
- Collection of automated on-chain investment strategies☆24Updated 4 years ago
- keep yearn vaults tightly invested while maintaining the withdrawal buffer☆12Updated 4 years ago
- ☆14Updated 5 years ago
- Token Sale example implementing GasToken Factory methods☆19Updated 7 years ago
- Bare bones, mobile-first set up for Moloch frontend with Abridged Wallet SDK by Odyssy☆21Updated 2 years ago