The SECBIT Static Analysis Extension to Solidity Compiler
☆18Jan 31, 2019Updated 7 years ago
Alternatives and similar repositories for adelaide
Users that are interested in adelaide are comparing it to the libraries listed below
Sorting:
- Visual Studio Code extension for SECBIT Solidity Static Analyzer☆11Mar 30, 2019Updated 6 years ago
- Mini Ethereum Virutal Machine☆14Jul 31, 2018Updated 7 years ago
- State-of-the-art about program verification on Ethereum DApps☆22Dec 6, 2023Updated 2 years ago
- Fix for the contracts which are not compatible with ERC20☆25Oct 15, 2019Updated 6 years ago
- a principled blogging platform with modular data storage and parsing, starting on eth l1☆14Dec 6, 2024Updated last year
- Smart contracts for zkPoD Decentralized Exchange☆14Dec 10, 2022Updated 3 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆26Oct 28, 2018Updated 7 years ago
- Melfina is a proof-of-thought smart contract built on the Ethereum blockchain.☆18Oct 17, 2021Updated 4 years ago
- ☆25Nov 8, 2022Updated 3 years ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- Wrapper for blocksec2go allowing easy hardware-based signing of Ethereum transactions☆12Feb 8, 2023Updated 3 years ago
- Correctness proofs of Ethereum token contracts☆97Jun 5, 2019Updated 6 years ago
- Tool for auditing Ethereum contracts☆55Oct 8, 2017Updated 8 years ago
- Library to calculate an ethereum create2 address in advance☆28Mar 12, 2022Updated 3 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- Verified contracts synced from Etherscan☆63Oct 19, 2018Updated 7 years ago
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- The Learning Curve smart contracts☆31Feb 1, 2023Updated 3 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆74Mar 2, 2018Updated 8 years ago
- Papers of smart contract security analysis (and tools)☆36Jun 5, 2019Updated 6 years ago
- Awesome darkforest related repos☆41May 7, 2022Updated 3 years ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated last month
- Non-Tradable Tokens Standard☆10Oct 30, 2022Updated 3 years ago
- 逃离叙事：加密思潮十日谈☆11Updated this week
- ☆10Jan 25, 2026Updated last month
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆632Feb 15, 2024Updated 2 years ago
- Analysis tool for Solidity smart contracts. Prototype.☆35Nov 7, 2023Updated 2 years ago
- Generalized Aave Flashloans☆37May 10, 2023Updated 2 years ago
- Bancor advanced trading and liquidity widget. Won 1st prize in Bancor Trading and liquidity widget challenge.☆11Jan 24, 2023Updated 3 years ago
- ☆12Mar 8, 2023Updated 2 years ago
- Collection of recipes adapted from books, shows, the Internet, and more☆12Jan 25, 2026Updated last month
- ZKsync support for alloy☆16Jul 14, 2025Updated 7 months ago
- Slicing Pie DAO implemented on ethereum☆11May 19, 2019Updated 6 years ago
- csheets/sheetc☆24Feb 15, 2026Updated 2 weeks ago
- ☆11Feb 2, 2019Updated 7 years ago
- Publishing advisories for CVEs found by POST Cyberforce☆13Jan 7, 2025Updated last year
- A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.☆13Nov 30, 2025Updated 3 months ago
- Signal Protocol implementation using secp256k1 keypairs for use with Ethereum☆13Apr 4, 2019Updated 6 years ago
- Configuration data for the Ethereum Mainnet☆13Dec 19, 2025Updated 2 months ago