sec-bit / vscode-secbit-ssaeLinks
Visual Studio Code extension for SECBIT Solidity Static Analyzer
☆11Updated 6 years ago
Alternatives and similar repositories for vscode-secbit-ssae
Users that are interested in vscode-secbit-ssae are comparing it to the libraries listed below
Sorting:
- zk-rollup☆22Updated 2 years ago
- ☆14Updated 3 years ago
- Visualize your Aragon DAO Templates☆29Updated last year
- The SECBIT Static Analysis Extension to Solidity Compiler☆19Updated 6 years ago
- Implements a prototype and interactive simulation for the sharded pos ethereum 2.0.☆12Updated 6 years ago
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- Peg Stability Module for Maker☆11Updated 3 years ago
- ☆10Updated 2 years ago
- A cli version of the Nomad Sparse Merklee Tree Accumulator☆19Updated 3 years ago
- Leader election support in Optimism. Optimism is Ethereum, scaled.☆10Updated 10 months ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years ago
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 4 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆26Updated 3 years ago
- Syntax files for Yul☆18Updated 4 years ago
- Reconstruction of the Akropolis Delphi reentrancy exploit☆10Updated 4 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- ☆16Updated 2 years ago
- ☆13Updated 3 years ago
- ☆23Updated 3 years ago
- ☆11Updated 4 years ago
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- ☆39Updated 2 years ago
- Oracle for tracking effective gas prices.☆17Updated 4 years ago
- price feed, with expiration and medianizer poke☆33Updated 4 years ago
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Updated 6 years ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆25Updated 11 months ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- 📑 Documentation generator for Solidity☆26Updated 3 years ago