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
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- ERC20 in K☆50Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 7 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!☆108Updated last year
- Relevant Bonding Curve and Token Contracts☆77Updated 7 years ago
- the EIP and reference implementation which we will submit to the EIP repo.☆40Updated 7 years ago
- A proof-of-concept implementation of Submarine Sends for Ethereum☆30Updated 6 years ago
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- ☆64Updated 3 years ago
- Security review of 0x smart contracts☆39Updated 8 years ago
- ☆112Updated 5 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Updated 6 years ago
- ☆54Updated 6 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆74Updated 7 years ago
- MythX smart contract security verification plugin for Truffle Framework☆127Updated 3 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆45Updated 5 years ago
- Proof of concept for the contracts implementing TPL☆74Updated 3 years ago
- General interoperability framework for trustless cross-system interaction☆140Updated 4 years ago
- 0x Improvement Proposals☆91Updated 2 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- 🐹 Cryptoeconomics.Study website☆69Updated 2 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Updated 7 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 4 years ago
- Home for all packages related to the Counterfactual project☆186Updated 5 years ago