Skip to content
@VelitasDao

Velitas

We focus on Web3 security!

Popular repositories Loading

  1. antlr antlr Public

    Forked from solidity-parser/antlr

    Solidity grammar for ANTLR4

    Solidity

  2. Himari Himari Public

    Gas optimizer based on pattern matching and symbolic execution

  3. GasSaver GasSaver Public

    Forked from nguyenquangthang1997/GasSaver

    TypeScript

  4. solgraph solgraph Public

    Forked from raineorshine/solgraph

    Visualize Solidity control flow for smart contract security analysis. 💵 ⇆ 💵

    JavaScript

  5. python-solidity-parser python-solidity-parser Public

    Forked from Consensys/python-solidity-parser

    An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚

    Python

  6. python-solidity-parser-api python-solidity-parser-api Public

Repositories

Showing 10 of 17 repositories
  • SmartEmbed Public Forked from beyondacm/SmartEmbed

    A Tool for clone detection and bug detection in smart contracts

    VelitasDao/SmartEmbed’s past year of commit activity
    JavaScript 0 32 0 0 Updated Jan 7, 2023
  • Mjolnir Public

    Smart contract expandable static analysis framework

    VelitasDao/Mjolnir’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Dec 30, 2022
  • Himari Public

    Gas optimizer based on pattern matching and symbolic execution

    VelitasDao/Himari’s past year of commit activity
    0 GPL-3.0 0 2 0 Updated Dec 30, 2022
  • gasol-optimizer Public Forked from costa-group/gasol-optimizer
    VelitasDao/gasol-optimizer’s past year of commit activity
    Python 0 GPL-3.0 9 0 0 Updated Dec 23, 2022
  • crytic-compile Public Forked from crytic/crytic-compile

    Abstraction layer for smart contract build systems

    VelitasDao/crytic-compile’s past year of commit activity
    Python 0 AGPL-3.0 89 0 0 Updated Dec 22, 2022
  • python-solidity-parser Public Forked from Consensys/python-solidity-parser

    An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚

    VelitasDao/python-solidity-parser’s past year of commit activity
    Python 0 40 0 0 Updated Nov 30, 2022
  • python-template Public template

    Self-use python template

    VelitasDao/python-template’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Nov 29, 2022
  • python-solidity-parser-api Public
    VelitasDao/python-solidity-parser-api’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Nov 28, 2022
  • antlr Public Forked from solidity-parser/antlr

    Solidity grammar for ANTLR4

    VelitasDao/antlr’s past year of commit activity
    Solidity 0 MIT 71 0 0 Updated Oct 25, 2022
  • eTainter Public Forked from DependableSystemsLab/eTainter
    VelitasDao/eTainter’s past year of commit activity
    Python 0 5 0 0 Updated Oct 7, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…