acmLL

Pinned Repositories

• halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python802911465

• hevm

  symbolic EVM evaluator

  Language:Haskell2281215748

• solidity

  Solidity, the Smart Contract Programming Language

  Language:C++23.1k7206k5.7k

• SpCon-Artifact

  Language:Solidity24334

• thoth

  Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

  Language:Python24147221

• sandclock-contracts

  Sandclock V2 is a set of yield strategies and staking contracts on mainnet.

  Language:Solidity23

• sc_solidity-contracts

  Language:TypeScript15844

• horus-checker

  Horus, a formal verification tool for StarkNet smart contracts.

  Language:Haskell717157

• syntest-solidity

  A tool to generate synthetic tests for the Solidity platform

  Language:TypeScript292763

• efcf-framework

  EF/CF - Extremely Fast smart Contract Fuzzing

  Language:Solidity6210510

acmLL's Repositories